diff options
| author | stuebinm | 2023-01-09 17:07:31 +0100 |
|---|---|---|
| committer | stuebinm | 2023-01-09 17:07:31 +0100 |
| commit | 1ce14ffe1e87aa32c658dd2d94c302c61d1e467e (patch) | |
| tree | df0bacfd376a47a8be40a81677f0153eedc10259 /home | |
| parent | 1f59c24eccc3df46fdcedf7f1d47f0232f37d61c (diff) | |
home: add isabat via flake input instead of direct path
(also this means that my home config can now be built without --impure)
Diffstat (limited to 'home')
| -rw-r--r-- | home/packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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; }) ]; |