From 2c9c4425903fdd168ba6cfbc3e9e5df35a111682 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 23 Jan 2022 16:00:01 +0100
Subject: bump isabelle to 2021-1

---
 isabelle-nix-fhsenv/default.nix | 4 ++--
 1 file 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" ];
-- 
cgit v1.2.3