summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--flake.lock8
-rw-r--r--home/packages.nix2
2 files changed, 5 insertions, 5 deletions
diff --git a/flake.lock b/flake.lock
index 87bbeff..a826029 100644
--- a/flake.lock
+++ b/flake.lock
@@ -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; })