From 1ce14ffe1e87aa32c658dd2d94c302c61d1e467e Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Mon, 9 Jan 2023 17:07:31 +0100
Subject: home: add isabat via flake input instead of direct path

(also this means that my home config can now be built without --impure)
---
 flake.lock | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'flake.lock')

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",
-- 
cgit v1.2.3