diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 09:49:44 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 17:48:03 +0200 |
| commit | f758debf01fc88d5531825fe42f59f4f8c19247c (patch) | |
| tree | 203608477855e959feeb59b9299a1df16189098b /default.nix | |
| parent | 1f9be66ae0a4510f3564c8ed2add9b0228407f01 (diff) | |
[pkg:nix] Change the download method.
This will allow for better reuse of the cache when the URL is different
but the archive is the same.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions