git.iko.soy/typeable/cabal2nix
on master help sign in
hackage2nix: enable Idris build
b968898Peter Simons
src/hackage2nix.hs−1
compare with master
unifiedsplit
@@ -2121,7 +2121,6 @@ defaultConfiguration = Configuration
2121 , "ide-backend"
2121 , "ide-backend"
2122 , "idiii"
2122 , "idiii"
2123 , "idna2008"
2123 , "idna2008"
2124− , "idris"
2125 , "IDynamic"
2124 , "IDynamic"
2126 , "ieee-utils"
2125 , "ieee-utils"
2127 , "iException"
2126 , "iException"