diff options
| author | stuebinm | 2022-01-23 16:00:01 +0100 |
|---|---|---|
| committer | stuebinm | 2022-01-23 16:00:01 +0100 |
| commit | 2c9c4425903fdd168ba6cfbc3e9e5df35a111682 (patch) | |
| tree | fa24899ba872f5ea8b690dc5a7398b343198e617 /isabelle-nix-fhsenv/default.nix | |
| parent | 33e52e07bad4adde3b9e0478b26e3a48d359b617 (diff) | |
bump isabelle to 2021-1
Diffstat (limited to 'isabelle-nix-fhsenv/default.nix')
| -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" ]; |