diff options
-rw-r--r-- | flake.lock | 17 | ||||
-rw-r--r-- | flake.nix | 2 | ||||
-rw-r--r-- | home/packages.nix | 2 |
3 files changed, 20 insertions, 1 deletions
@@ -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", @@ -33,6 +33,8 @@ almanac.flake = false; feeds.url = "path:/home/stuebinm/nonpublic.nix"; feeds.flake = false; + isabelle-utils.url = "git+https://stuebinm.eu/git/isabelle-utils"; + isabelle-utils.flake = false; gtfsBooks.url = "git+https://stuebinm.eu/git/gtfs-books?ref=main"; gtfsBooks.flake = false; 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; }) ]; |