nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 09:23:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

isabelle: Another Linux hash change?

Browse Source
This commit is contained in:
John Wiegley 2014-09-30 16:44:15 -05:00
parent 5a7ce1185b
commit 57b292fb1b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/isabelle/default.nix
View File

@ -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 ]