hackage4nix.hs: ignore agda stdlib
commit56c2397e342812dc209c19e252cd1c4885a0042a
authorPeter Simons <simons@cryp.to>
dateMon 5 May 2014, 00:41 (12 years ago)
parentfea9a20
src/hackage4nix.hs+1
@@ -236,4 +236,5 @@ badPackagePaths = [ -- These expression are not found on Hackage:
236236 , "pkgs/development/tools/haskell/cabal-delete/default.nix"
237237 , "pkgs/development/compilers/cryptol/1.8.x.nix"
238238 , "pkgs/development/compilers/cryptol/2.0.x.nix"
239+ , "pkgs/development/compilers/agda/stdlib.nix"
239240 ]