Bump komet to v0.1.85 and kframework to 7.1.323

Author: bbyalcinkaya

flake.lock

@@ -9,7 +9,7 @@
     # `k` package directly (replacing the imperative `kup install k`); its
     # nixpkgs is intentionally NOT followed, so the k-framework binary caches
     # are hit instead of rebuilding K against our nixpkgs.
-    k-framework.url = "github:runtimeverification/k/v7.1.319";
+    k-framework.url = "github:runtimeverification/k/v7.1.323";
     # Use the same uv2nix as k-framework so we inherit the pyproject-nix version
     # that fixes the missing 'riscv64' attribute in pep600.nix (pep599.manyLinuxTargetMachines
     # lookup now uses `or tagArch` as a safe default for unknown architectures).

flake.nix

@@ -10,8 +10,8 @@ readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
     "stellar-sdk>=13.2.1",
-    "komet@git+https://github.com/runtimeverification/komet.git@v0.1.79",
-    "kframework>=7.1.318,<7.1.321",
+    "komet@git+https://github.com/runtimeverification/komet.git@v0.1.85",
+    "kframework>=7.1.323,<7.1.324",
 ]
 
 [[project.authors]]