From 76de3a37d1990536fe321a0ad921c093f63f342b Mon Sep 17 00:00:00 2001
From: Julian Kuners <julian.kuners@gmail.com>
Date: Wed, 28 Jan 2026 16:17:03 +0100
Subject: [PATCH 1/4] empty commit

---
 something | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 something

diff --git a/something b/something
new file mode 100644
index 00000000..e69de29b

From 6372cd901bd548c94d43dcdb42a3de798e494ada Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 28 Jan 2026 15:18:07 +0000
Subject: [PATCH 2/4] Set Version: 0.1.73

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package/version b/package/version
index 8076b7dc..416eb55e 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.72
+0.1.73
diff --git a/pyproject.toml b/pyproject.toml
index a16b48d9..d11ad4f9 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "komet"
-version = "0.1.72"
+version = "0.1.73"
 description = "K tooling for the Soroban platform"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

From 389baa9fa1c2f5a3b7721f0b38368b28600430b2 Mon Sep 17 00:00:00 2001
From: Julian Kuners <julian.kuners@gmail.com>
Date: Wed, 28 Jan 2026 16:28:04 +0100
Subject: [PATCH 3/4] add gfortran override in nix flake

---
 flake.lock | 17 +++++++++++++++++
 flake.nix  | 24 ++++++++++++++++++++++--
 2 files changed, 39 insertions(+), 2 deletions(-)

diff --git a/flake.lock b/flake.lock
index 4e112da1..18f2d313 100644
--- a/flake.lock
+++ b/flake.lock
@@ -229,6 +229,22 @@
         "type": "github"
       }
     },
+    "nixpkgs-unstable": {
+      "locked": {
+        "lastModified": 1769461804,
+        "narHash": "sha256-msG8SU5WsBUfVVa/9RPLaymvi5bI8edTavbIq3vRlhI=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "bfc1b8a4574108ceef22f02bafcf6611380c100d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs_2": {
       "locked": {
         "lastModified": 1716457947,
@@ -337,6 +353,7 @@
           "rv-nix-tools",
           "nixpkgs"
         ],
+        "nixpkgs-unstable": "nixpkgs-unstable",
         "poetry2nix": [
           "k-framework",
           "poetry2nix"
diff --git a/flake.nix b/flake.nix
index 65e203eb..9a1fbf31 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,6 +4,8 @@
   inputs = {
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
+
+    nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
   
     wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.128";
     wasm-semantics.inputs.nixpkgs.follows = "nixpkgs";
@@ -24,14 +26,31 @@
     };
   };
 
-  outputs = { self, k-framework, nixpkgs, flake-utils, rv-nix-tools, wasm-semantics
-    , rust-overlay, stellar-cli-flake, ... }@inputs: flake-utils.lib.eachSystem [
+  outputs = {
+      self,
+      k-framework,
+      nixpkgs,
+      nixpkgs-unstable,
+      flake-utils,
+      rv-nix-tools,
+      wasm-semantics,
+      rust-overlay,
+      stellar-cli-flake,
+      ...
+    }@inputs: flake-utils.lib.eachSystem [
       "x86_64-linux"
       "x86_64-darwin"
       "aarch64-linux"
       "aarch64-darwin"
     ] (system:
       let
+        pkgs-unstable = import nixpkgs-unstable {
+          inherit system;
+        };
+        # temporary workaround for our stale revision of nix for runtime issues on new MacOS versions
+        gfortranUnstableOverlay = final: prev: {
+          gfortran = pkgs-unstable.gfortran;
+        };
         # stellar-cli flake does not build on NixOS machines due to openssl issues during `cargo build`
         # putting `pkg-config` in `nativeBuildInputs` will run the `pkg-config` setuphook, which will look for derivations in `buildInputs`
         # with a `pkgconfig` directory such as the `openssl` derivation
@@ -51,6 +70,7 @@
           overlays = [
             stellar-cli-overlay
             (import rust-overlay)
+            gfortranUnstableOverlay
           ];
         };
 

From de3df9dc268dc4c6846cd63186068891ed5b67bb Mon Sep 17 00:00:00 2001
From: Julian Kuners <julian.kuners@gmail.com>
Date: Wed, 28 Jan 2026 16:41:50 +0100
Subject: [PATCH 4/4] add override for `gfortran13` as well

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flake.nix b/flake.nix
index 9a1fbf31..d07449d8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -50,6 +50,7 @@
         # temporary workaround for our stale revision of nix for runtime issues on new MacOS versions
         gfortranUnstableOverlay = final: prev: {
           gfortran = pkgs-unstable.gfortran;
+          gfortran13 = pkgs-unstable.gfortran;
         };
         # stellar-cli flake does not build on NixOS machines due to openssl issues during `cargo build`
         # putting `pkg-config` in `nativeBuildInputs` will run the `pkg-config` setuphook, which will look for derivations in `buildInputs`