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)
---
 home/packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'home/packages.nix')

diff --git a/home/packages.nix b/home/packages.nix
index ab4b84d..569474d 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -58,7 +58,7 @@ in
     mercurial
     # isabelle
     isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
-    (import /home/stuebinm/projects/isabelle-utils {}).isabat
+    (import inputs.isabelle-utils {inherit pkgs naersk; }).isabat
 
     (import inputs.traveltext { inherit pkgs; })
   ];
-- 
cgit v1.2.3