Marco, In order to create the nix expression it tries to generate a sha256 hash of the tarball, by default it looks for the package at hackage.
cabal2nix --sha256=fake http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal It will then generate the nix expression for you. Patrick You can specify the hash on the command line or even give it a fake and fill it in latter. On Tue, Jul 31, 2012 at 2:02 PM, Marco Maggesi <[email protected]> wrote: > 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 > -- Patrick Wheeler [email protected] [email protected] [email protected] _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
