[Nix-dev] Agda standard library

[Marco Maggesi]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20120731/f8868d46/attachment.html