git.iko.soy/typeable/cabal2nix
on master help sign in
Merge pull request #173 from Fuuzetsu/remove-agda-deps

don't specify ccphs/equivalence versions

commit260fa23a9f2ee7cba9ec34af5da1e1251bfee5dc authorPeter Simons <simons@cryp.to> dateFri 12 Jun 2015, 10:15 (11 years ago) parentc3122d6afa5a08
1 file changed−2
src/hackage2nix.hs−2
src/hackage2nix.hs−2
@@ -301,10 +301,8 @@ defaultConfiguration = Configuration
301301 , "conduit < 1.2.4.2" -- newer versions trigger non-deterministic ID bugs in GHC versions prior to 7.10.x
302302 , "containers < 0.5" -- required to build alex with GHC 6.12.3
303303 , "control-monad-free < 0.6" -- newer versions don't compile with anything but GHC 7.8.x
304− , "cpphs < 1.19" -- required to build Agda
305304 , "deepseq == 1.3.0.1" -- required to build Cabal with GHC 6.12.3
306305 , "descriptive < 0.1" -- required for structured-haskell-mode-1.0.8
307− , "equivalence == 0.2.5" -- required to build Agda with GHC 7.8.x
308306 , "gloss < 1.9.3" -- new versions don't compile with GHC 7.8.x
309307 , "haddock-api < 2.16" -- required on GHC 7.8.x
310308 , "haskell-src-exts < 1.16" -- required for structured-haskell-mode-1.0.8