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" ];