From 485f7f38a176c8db428bd245df709df079054ba7 Mon Sep 17 00:00:00 2001 From: Jeremy Wall Date: Tue, 1 Apr 2025 19:21:52 -0400 Subject: [PATCH] wip: update uv to later version --- nix/base-system/flake.nix | 1 + 1 file changed, 1 insertion(+) 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"; })