Hi, I'm trying to figure out how to to install the Agda standard library using cabal2nix. Here is my first attempt:
nix-env -iA haskellPackages.cabal2nix cabal2nix http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal (In the --help message cabal2nix advises as recognized URI schemes http://host/path) But I get the following error: curl: (22) The requested URL returned error: 404 /Users/maggesi/.nix-profile/bin/nix-prefetch-url: download of ‘ http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz’ failed cabal2nix: readProcess: bash "-c" "exec nix-prefetch-url 2>/dev/tty http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz"; (exit 22): failed Thanks, Marco
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
