diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-09-30 15:25:03 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-09-30 16:15:34 -0500 |
| commit | 8d9cd1557bfe4822c2031612b397c7b0ae3ccb65 (patch) | |
| tree | ac059e2ec6cbabdfe7fbaf1ab95d38042c3b91d9 /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | 5af769fd4e52a9c907f72e650296257d2bce6c67 (diff) | |
| download | nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar.gz nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar.bz2 nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar.lz nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar.xz nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.tar.zst nixpkgs-8d9cd1557bfe4822c2031612b397c7b0ae3ccb65.zip | |
isabelle: Correct the 2014 sha value for Linux
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index d8825fee244..5681070be7d 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -17,7 +17,7 @@ stdenv.mkDerivation { } else fetchurl { url = http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz; - sha256 = "0l17s41hwzma0q2glpxrzic8i6mqd9b7awlpwhz0jkli7fj6ny7b"; + sha256 = "0z81pwwllavka4r57fx6yi9kbpbb9xbanp8dsjix49qpyj2a72jy"; }; buildInputs = [ perl polyml ] |