hackage2nix: enable Idris build
Fixed by https://github.com/peti/nixpkgs/pull/5.
commitb9688982ddff444dd90b85dca6aab04a8032a571
authorPeter Simons <simons@cryp.to>
dateTue 19 May 2015, 15:42 (11 years ago)
parente4d24fb
src/hackage2nix.hs−1
@@ -2121,7 +2121,6 @@ defaultConfiguration = Configuration
21212121 , "ide-backend"
21222122 , "idiii"
21232123 , "idna2008"
2124− , "idris"
21252124 , "IDynamic"
21262125 , "ieee-utils"
21272126 , "iException"