summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--isabelle-nix-fhsenv/default.nix4
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" ];