GaloisInc · aschwerdfeger-galois · Jan 28, 2026 · Jan 29, 2026
diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.9 -- 2026-01-29
 
 * The `LLVM_Debug` data constructor for `LLVMStmt`, as well as the related
   `LLVM_Dbg` data type, have been removed.

diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible-llvm
-Version:       0.8.0.0.99
+Version:       0.9
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2022
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
@@ -134,7 +134,7 @@ library
     extra,
     lens,
     itanium-abi >= 0.1.1.1 && < 0.2,
-    llvm-pretty >= 0.12.1 && < 0.14,
+    llvm-pretty >= 0.12.1 && < 0.15,
     mtl,
     parameterized-utils >= 2.1.5 && < 2.2,
     pretty,

diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.9 -- 2026-01-29
 
 # 0.8.0 -- 2025-11-09
 

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible
-Version:       0.8.0.0.99
+Version:       0.9
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
 Copyright:     (c) Galois, Inc 2014-2022

diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.12 -- 2026-01-29
 
 # 0.11 -- 2025-11-09
 

diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux-llvm
-Version:       0.11.0.0.99
+Version:       0.12
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
 Copyright:     (c) Galois, Inc 2014-2022

diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.12 -- 2026-01-29
 
 This release supports [version
 8](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#8) of

diff --git a/crux-mir/crux-mir.cabal b/crux-mir/crux-mir.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                crux-mir
-version:             0.11.0.0.99
+version:             0.12
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crux-mir/README.md

diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.9 -- 2026-01-29
 
 # 0.8 -- 2025-11-09
 

diff --git a/crux/crux.cabal b/crux/crux.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux
-Version:       0.8.0.0.99
+Version:       0.9
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        sweirich@galois.com
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com

diff --git a/dependencies/llvm-pretty b/dependencies/llvm-pretty
diff --git a/dependencies/llvm-pretty-bc-parser b/dependencies/llvm-pretty-bc-parser
diff --git a/dependencies/rme b/dependencies/rme
diff --git a/dependencies/what4 b/dependencies/what4
+13 −1		.github/workflows/haskell.yml
+1 −1		CHANGELOG.md
+2 −2		llvm-pretty.cabal
+1 −1		CHANGELOG.md
+3 −3		flake.lock
+1 −1		llvm-pretty
+2 −2		llvm-pretty-bc-parser.cabal
+3 −1		rme-what4/CHANGELOG.md
+1 −1		rme-what4/rme-what4.cabal
+1 −1		rme/CHANGELOG.md
+1 −1		rme/rme.cabal