diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-10-12 14:36:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-12 14:36:09 +0100 |
commit | 00807a645f18b9138fa3369968a6b68729f48d41 (patch) | |
tree | 955ee57ed193fa9100c1cabcb29ddf78f792ded2 /pkgs/development/idris-modules | |
parent | c31909ff693166ca07ac2d7ceae38390889666bf (diff) | |
parent | 05bcae15957bf6da5bc97ae37f5fa08b47eb9d00 (diff) | |
download | nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar.gz nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar.bz2 nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar.lz nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar.xz nixlib-00807a645f18b9138fa3369968a6b68729f48d41.tar.zst nixlib-00807a645f18b9138fa3369968a6b68729f48d41.zip |
Merge pull request #48240 from volth/patch-254
perl-cross: 1.2 -> gitmaster
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions