diff options
| author | stuebinm | 2023-04-28 17:03:24 +0200 |
|---|---|---|
| committer | stuebinm | 2023-04-28 17:03:24 +0200 |
| commit | b6d7fa1b0b363072d788d22e8be325d7532aafd8 (patch) | |
| tree | d459ca32dc7831b0018be07d582e1742d1845398 | |
| parent | 6b1290d8092ab097cefcfceef0a7755ed1197b8c (diff) | |
update isabelle fhsenv
Diffstat (limited to '')
| -rw-r--r-- | flake.lock | 8 | ||||
| -rw-r--r-- | home/packages.nix | 2 |
2 files changed, 5 insertions, 5 deletions
@@ -335,11 +335,11 @@ "playground": { "flake": false, "locked": { - "lastModified": 1671309906, - "narHash": "sha256-KAGg33dPv4ar6JThhbwPcERYstqiDQveNNeWu9/r3Pk=", + "lastModified": 1682694042, + "narHash": "sha256-c3lC31iR1CPi8A8nV8ZjMtpt0cUACz4V4LUBd4awQOs=", "ref": "refs/heads/master", - "rev": "68ac088c2969fb543aae747468702771f2d6a7e9", - "revCount": 24, + "rev": "19144f12772063b1c6f00ad186dabbf53ea25985", + "revCount": 25, "type": "git", "url": "https://stuebinm.eu/git/playground" }, diff --git a/home/packages.nix b/home/packages.nix index dee9c97..eb3cca0 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -54,7 +54,7 @@ in # other things mercurial # isabelle - isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish") + (isabelle.mkEnv "isabelle-env" "fish") isabat (import inputs.traveltext { inherit pkgs; }) |