git.iko.soy/typeable/cabal2nix
on master help sign in
hackage4nix.hs: improve badPackagePaths to match Agda stdlib
commitd82d4b00ac0bfec7382e6012f9775e1de33e05b0 authorPeter Simons <simons@cryp.to> dateFri 20 Jun 2014, 15:01 (12 years ago) parentc84d0fb
1 file changed+2−1
compare with master
unifiedsplit
src/hackage4nix.hs+2−1
src/hackage4nix.hs+2−1
@@ -232,7 +232,8 @@ badPackagePaths = [ -- These expression are not found on Hackage:
232232 -- Requires platform-specific magic that I don't want to add to cabal2nix.
233233 , "pkgs/development/libraries/haskell/fsnotify/default.nix"
234234 -- Not registered on Hackage.
235− , "pkgs/development/compilers/agda/stdlib.nix"
235+ , "pkgs/development/compilers/agda/stdlib-0.7.nix"
236+ , "pkgs/development/compilers/agda/stdlib-0.8.nix"
236237 , "pkgs/development/compilers/cryptol/1.8.x.nix"
237238 , "pkgs/development/compilers/cryptol/2.0.x.nix"
238239 , "pkgs/development/compilers/jhc/default.nix"