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