diff options
| -rw-r--r-- | isabelle-nix-fhsenv/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix index b4f5e12..85b04f3 100644 --- a/isabelle-nix-fhsenv/default.nix +++ b/isabelle-nix-fhsenv/default.nix @@ -7,8 +7,8 @@ let version = "2021"; src = fetchzip { - url = "https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz"; - sha256 = "00dnpvj8iy5kdfbx3wlwjwh95lwjyp13r8m4l0bkazw2mk2xdcvr"; + url = "https://isabelle.in.tum.de/dist/Isabelle2021-1_linux.tar.gz"; + sha256 = "sha256-kJsFPcdlcV8SMWYoqUVJ0sPm7bTAhRDFJ8nddz0Pyik="; }; phases = [ "buildPhase" ]; |