diff options
author | Vladimír Čunát <v@cunat.cz> | 2024-07-03 19:14:16 +0200 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2024-07-03 19:14:16 +0200 |
commit | 2d6c0ef1369a99c37c88f3376fe15614ab76a90f (patch) | |
tree | f70d69fd378c24f5d60b4b4fc452e0b5a6004997 /pkgs/development/idris-modules/TODO.md | |
parent | c76085b3a9d817912d1a00d2d20696e3a8089de3 (diff) | |
parent | 29cfb900f749627783bc0d0f260ef4d0f842758c (diff) |
Merge #324339: _7zz: replace fetchurl with fetchzip for stabler hashes staging-next
...into staging-next
Diffstat (limited to 'pkgs/development/idris-modules/TODO.md')
0 files changed, 0 insertions, 0 deletions