Files
nixpkgs/maintainers
Jörg Thalheim 7bef35e691 Merge pull request #37358 from brainrape/idrisPackages-update
idrisPackages: add packages
2018-03-20 06:44:42 +00:00
..
2018-03-18 00:16:43 -05:00