Jörg Thalheim 7bef35e691

Merge pull request #37358 from brainrape/idrisPackages-update ...

idrisPackages: add packages

2018-03-20 06:44:42 +00:00

..

scripts

meta: fix fallout from #36275

2018-03-18 00:16:43 -05:00

maintainer-list.nix

Merge pull request #37358 from brainrape/idrisPackages-update

2018-03-20 06:44:42 +00:00