1 files changed, 17 insertions, 0 deletions
diff --git a/flake.lock b/flake.lock
index 4f5caa6..08a7ad2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -189,6 +189,22 @@
         "type": "github"
       }
     },
+    "isabelle-utils": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1635264830,
+        "narHash": "sha256-AsubIRh3QsuPzp/vs12BHuZ1FCIW3zTfp+f17f2PN4k=",
+        "ref": "refs/heads/master",
+        "rev": "e7427d5c67c0a90c369adecb4b0c65c043cb2e34",
+        "revCount": 17,
+        "type": "git",
+        "url": "https://stuebinm.eu/git/isabelle-utils"
+      },
+      "original": {
+        "type": "git",
+        "url": "https://stuebinm.eu/git/isabelle-utils"
+      }
+    },
     "naersk": {
       "inputs": {
         "nixpkgs": [
@@ -310,6 +326,7 @@
         "freiraum": "freiraum",
         "gtfsBooks": "gtfsBooks",
         "home-manager": "home-manager",
+        "isabelle-utils": "isabelle-utils",
         "naersk": "naersk",
         "nixpkgs": "nixpkgs_2",
         "nixpkgs-unstable": "nixpkgs-unstable",