Update dependency: deps/k_release (#730)

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

Author: 4 people

deps/k_release

@@ -1 +1 @@
-7.1.289
+7.1.299

deps/uv_release

@@ -1 +1 @@
-0.8.15
+0.9.2

flake.lock

@@ -12,13 +12,13 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.289";
+    k-framework.url = "github:runtimeverification/k/v7.1.299";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";
     };
 
-    uv2nix.url = "github:pyproject-nix/uv2nix/64298e806f4a5f63a51c625edc100348138491aa";
+    uv2nix.url = "github:pyproject-nix/uv2nix/b6ed0901aec29583532abe65117b18d86a49b617";
     # 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
@@ -27,7 +27,7 @@
     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.url = "github:pyproject-nix/build-system-pkgs/dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5";
     pyproject-build-systems = {
       inputs.nixpkgs.follows = "uv2nix/nixpkgs";
       inputs.uv2nix.follows = "uv2nix";

flake.nix

@@ -6,9 +6,9 @@ build-backend = "hatchling.build"
 name = "kmir"
 version = "0.3.181"
 description = ""
-requires-python = "~=3.10"
+requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.289",
+    "kframework==v7.1.299",
     "rust-demangler==1.0",
 ]