wip: update uv to later version
This commit is contained in:
parent
71394e207c
commit
485f7f38a1
@ -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";
|
||||
})
|
||||
|
Loading…
x
Reference in New Issue
Block a user