Author: maggesi
Date: Sat Nov 26 18:45:15 2011
New Revision: 30574
URL: https://nixos.org/websvn/nix/?rev=30574&sc=1
Log:
Update url for Isabelle2011
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix Sat Nov
26 13:06:42 2011 (r30573)
+++ nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix Sat Nov
26 18:45:15 2011 (r30574)
@@ -12,7 +12,7 @@
inherit name theories;
src = fetchurl {
- url = "http://www.cl.cam.ac.uk/research/hvg/${pname}/dist/${name}.tar.gz";;
+ url =
http://isabelle.in.tum.de/website-Isabelle2011/dist/Isabelle2011.tar.gz;
sha256 =
"ea85eb2a859891be387f020b2e45f8c9a0bd1d8bbc3902f28a429e9c61cb0b6a";
};
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
