diff --git a/nix/base-system/flake.lock b/nix/base-system/flake.lock index cac9864..dbf2e93 100644 --- a/nix/base-system/flake.lock +++ b/nix/base-system/flake.lock @@ -1818,11 +1818,11 @@ }, "unstable": { "locked": { - "lastModified": 1746152631, - "narHash": "sha256-zBuvmL6+CUsk2J8GINpyy8Hs1Zp4PP6iBWSmZ4SCQ/s=", + "lastModified": 1747312588, + "narHash": "sha256-MmJvj6mlWzeRwKGLcwmZpKaOPZ5nJb/6al5CXqJsgjo=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "032bc6539bd5f14e9d0c51bd79cfe9a055b094c3", + "rev": "b1bebd0fe266bbd1820019612ead889e96a8fa2d", "type": "github" }, "original": { diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix index bc0000e..d4c591a 100644 --- a/nix/base-system/flake.nix +++ b/nix/base-system/flake.nix @@ -292,6 +292,7 @@ EOF"; uv = unstablePkgs.uv; quint = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint"; quint-lsp = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint-language-server"; + ollama = unstablePkgs.ollama; }) rust-overlay ];