flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.139

rv-auditor · rv-auditor · commit 73f9eca23f49 · 2025-10-15T23:27:42.000Z
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.138";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.139";
     llvm-backend.inputs.nixpkgs.follows = "nixpkgs";
 
     haskell-backend = {
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 145066375064b27d6e392cdcdfb1efad1c21875d
+Subproject commit 618f530031870d6e8a74633b122d46afb5d7ad8e
