diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix index 61a3ddc..d141575 100644 --- a/nix/base-system/flake.nix +++ b/nix/base-system/flake.nix @@ -277,6 +277,7 @@ EOF"; gnumeric = prev.gnumeric.overrideAttrs(oldAttrs: { meta.broken = false; }); + uv = unstablePkgs.uv; quint = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint"; quint-lsp = (pkgs.callPackage ../packages/quint/default.nix {})."@informalsystems/quint-language-server"; })