Update dependency: deps/uv2nix (#53)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

Author: 3 people

.github/workflows/test-pr.yml

@@ -87,7 +87,7 @@ jobs:
         if: ${{ matrix.runner != 'MacM1' }}
         uses: cachix/install-nix-action@v31.2.0
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          install_url: https://releases.nixos.org/nix/nix-2.31.0/install
           extra_nix_config: |
             substituters = http://cache.nixos.org https://cache.iog.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=

.github/workflows/update-version.yml

@@ -28,7 +28,7 @@ jobs:
       - name: 'Install Nix'
         uses: cachix/install-nix-action@v31.2.0
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          install_url: https://releases.nixos.org/nix/nix-2.31.0/install
           extra_nix_config: |
             substituters = http://cache.nixos.org https://cache.iog.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=

deps/uv2nix

@@ -1 +1 @@
-680e2f8e637bc79b84268949d2f2b2f5e5f1d81c
+be511633027f67beee87ab499f7b16d0a2f7eceb

deps/uv_release

@@ -1 +1 @@
-0.7.2
+0.8.22

flake.lock

@@ -7,11 +7,14 @@
     flake-utils.url = "github:numtide/flake-utils";
     k-framework.url = "github:runtimeverification/k/v7.1.280";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
-    uv2nix.url = "github:pyproject-nix/uv2nix/680e2f8e637bc79b84268949d2f2b2f5e5f1d81c";
-    # stale nixpkgs is missing the alias `lib.match` -> `builtins.match`
-    # therefore point uv2nix to a patched nixpkgs, which introduces this alias
-    # this is a temporary solution until nixpkgs us up-to-date again
-    uv2nix.inputs.nixpkgs.url = "github:runtimeverification/nixpkgs/libmatch";
+    uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb";
+    # uv2nix requires a newer version of nixpkgs
+    # therefore, we pin uv2nix specifically to a newer version of nixpkgs
+    # until we replaced our stale version of nixpkgs with an upstream one as well
+    # but also uv2nix requires us to call it with `callPackage`, so we add stuff
+    # from the newer nixpkgs to our stale nixpkgs via an overlay
+    nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
+    uv2nix.inputs.nixpkgs.follows = "nixpkgs-unstable";
     # uv2nix.inputs.nixpkgs.follows = "nixpkgs";
     pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/7dba6dbc73120e15b558754c26024f6c93015dd7";
     pyproject-build-systems = {
@@ -21,7 +24,7 @@
     };
     pyproject-nix.follows = "uv2nix/pyproject-nix";
   };
-  outputs = { self, rv-nix-tools, nixpkgs, flake-utils, pyproject-nix, pyproject-build-systems, uv2nix, k-framework }:
+  outputs = { self, rv-nix-tools, nixpkgs, flake-utils, pyproject-nix, pyproject-build-systems, uv2nix, k-framework, nixpkgs-unstable }:
   let
     pythonVer = "310";
   in flake-utils.lib.eachSystem [
@@ -31,6 +34,13 @@
       "aarch64-darwin"
     ] (system:
     let
+      pkgs-unstable = import nixpkgs-unstable {
+        inherit system;
+      };
+      # for uv2nix, remove this once we updated to a newer version of nixpkgs
+      staleNixpkgsOverlay = final: prev: {
+        inherit (pkgs-unstable) replaceVars;
+      };
       # due to the nixpkgs that we use in this flake being outdated, uv is also heavily outdated
       # we can instead use the binary release of uv provided by uv2nix for now
       uvOverlay = final: prev: {
@@ -56,6 +66,7 @@
       pkgs = import nixpkgs {
         inherit system;
         overlays = [
+          staleNixpkgsOverlay
           uvOverlay
           kOverlay
           kimpOverlay