Update dependency: deps/k_release

Makefile

@@ -77,7 +77,7 @@ $(PREFIX)/libff/lib/libff.a:
 
 C_KZG_4844 := $(CURDIR)/deps/c-kzg-4844
 C_KZG_4844_CFLAGS := -fPIC -O2 -I$(C_KZG_4844)/src -I$(C_KZG_4844)/inc
-C_KZG_4844_CXXFLAGS := $(C_KZG_4844_CFLAGS) -std=c++17
+C_KZG_4844_CXXFLAGS := $(C_KZG_4844_CFLAGS) -std=c++20
 
 BLST := $(C_KZG_4844)/blst
 
@@ -136,7 +136,7 @@ ifneq ($(APPLE_SILICON),)
     INCLUDES += -I $(GMP_PREFIX)/include -I $(MPFR_PREFIX)/include -I $(OPENSSL_PREFIX)/include -I $(CRYPTOPP_PREFIX)/include -I $(SECP256K1_PREFIX)/include -I $(BOOST_PREFIX)/include
 endif
 
-CPPFLAGS += --std=c++17 -fPIC -O3 $(INCLUDES)
+CPPFLAGS += --std=c++20 -fPIC -O3 $(INCLUDES)
 
 plugin-c/%.o: plugin-c/%.cpp $(PREFIX)/libcryptopp/lib/libcryptopp.a $(PREFIX)/libff/lib/libff.a $(PREFIX)/c-kzg-4844/lib/libckzg.a $(PREFIX)/c-kzg-4844/lib/libblst.a
 	$(CXX) -c $(CPPFLAGS) $(CXXFLAGS) -o $@ $<

deps/k_release

@@ -1 +1 @@
-7.1.166
+7.1.255

flake.nix

@@ -2,7 +2,7 @@
   description = "Blockchain K plugin";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.166";
+    k-framework.url = "github:runtimeverification/k/v7.1.255";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
@@ -130,11 +130,49 @@
             overrides = poetry2nix.overrides.withDefaults
               (finalPython: prevPython: {
                 kframework = prev.pyk-python310;
-                flake8-type-checking =
-                  prevPython.flake8-type-checking.overridePythonAttrs (old: {
-                    propagatedBuildInputs = (old.propagatedBuildInputs or [ ])
-                      ++ [ finalPython.poetry ];
-                  });
+                flake8-type-checking = prevPython.flake8-type-checking.overridePythonAttrs (old: {
+                  propagatedBuildInputs = (old.propagatedBuildInputs or [ ]) ++ [
+                    finalPython.poetry
+                  ];
+                });
+                autoflake = prevPython.autoflake.overrideAttrs(_: super: {
+                  nativeBuildInputs = super.nativeBuildInputs ++ [ prevPython.hatchling ];
+                });
+                isort = prevPython.isort.overridePythonAttrs (
+                  old: {
+                    buildInputs = (old.buildInputs or [ ]) ++ [ prevPython.hatchling ];
+                  }
+                );
+                mypy-extensions = prevPython.mypy-extensions.overridePythonAttrs (
+                  old: {
+                    buildInputs = (old.buildInputs or [ ]) ++ [ prevPython.flit-core ];
+                    patches = (old.patches or [ ]) ++ [
+                      ./nix/resources/mypy-extensions-pyproject.toml.patch
+                    ];
+                  }
+                );
+                click = prevPython.click.overridePythonAttrs (
+                  old: {
+                    buildInputs = (old.buildInputs or [ ]) ++ [ prevPython.flit-core ];
+                    patches = (old.patches or [ ]) ++ [
+                      ./nix/resources/click-pyproject.toml.patch
+                    ];
+                  }
+                );
+                typing-extensions = prevPython.typing-extensions.overridePythonAttrs (
+                  old: {
+                    patches = (old.patches or [ ]) ++ [
+                      ./nix/resources/typing-extensions-pyproject.toml.patch
+                    ];
+                  }
+                );
+                attrs = prevPython.attrs.overridePythonAttrs (
+                  old: {
+                    patches = (old.patches or [ ]) ++ [
+                      ./nix/resources/attrs-pyproject.toml.patch
+                    ];
+                  }
+                );
               });
 
             checkPhase = ''