diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2012-09-04 14:34:31 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2012-09-04 14:34:31 +0200 |
| commit | 286d068b37be4f76d546328b7fedf4f3d82acbc5 (patch) | |
| tree | 978aa2fa69f6cb8bb036ff8e647f43bf5166e41d /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | 264c528154364841730d9ab29128effb0da674e8 (diff) | |
| download | nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar.gz nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar.bz2 nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar.lz nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar.xz nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.tar.zst nixpkgs-286d068b37be4f76d546328b7fedf4f3d82acbc5.zip | |
Upgrade Isabelle proof assistant to version 2012
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 4a268cac645..bbc868910f5 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -2,9 +2,7 @@ # nettools needed for hostname let - pname = "Isabelle"; - version = "2011"; - name = "${pname}${version}"; + name = "Isabelle2012"; theories = ["HOL" "FOL" "ZF"]; in @@ -12,8 +10,8 @@ stdenv.mkDerivation { inherit name theories; src = fetchurl { - url = http://isabelle.in.tum.de/website-Isabelle2011/dist/Isabelle2011.tar.gz; - sha256 = "ea85eb2a859891be387f020b2e45f8c9a0bd1d8bbc3902f28a429e9c61cb0b6a"; + url = http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/Isabelle2012.tar.gz; + sha256 = "1w2k5cg0d9hyigax0hwp6d84jnylb13ysk4x5kwl2412xryravxq"; }; buildInputs = [ perl polyml nettools ]; |