diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-21 00:45:38 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-21 00:45:38 +0200 |
| commit | 542d20384fd423caa3a40f358debe52671877eb9 (patch) | |
| tree | f0e1185377e13a197d1249180c60bd49b8624f2f /pkgs/applications/science/logic/isabelle | |
| parent | 8e7b1f2ac2e261d5a644fef860a0d050ea227c06 (diff) | |
| download | nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar.gz nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar.bz2 nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar.lz nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar.xz nixlib-542d20384fd423caa3a40f358debe52671877eb9.tar.zst nixlib-542d20384fd423caa3a40f358debe52671877eb9.zip | |
Isabelle: fix download URL
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 88bbe820e2f3..97534b0ddd36 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -12,11 +12,11 @@ stdenv.mkDerivation { src = if stdenv.isDarwin then fetchurl { - url = http://isabelle.in.tum.de/dist/Isabelle2014_macos.tar.gz; + url = http://isabelle.in.tum.de/website-Isabelle2014/dist/Isabelle2014_macos.tar.gz; sha256 = "1aa3vz2nnkkyd4mlsqbs69jqfxlll5h0k5fj9m1j9wqiddqwvwcf"; } else fetchurl { - url = http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz; + url = http://isabelle.in.tum.de/website-Isabelle2014/dist/Isabelle2014_linux.tar.gz; sha256 = "0z81pwwllavka4r57fx6yi9kbpbb9xbanp8dsjix49qpyj2a72jy"; }; |