Bump version of 'crucible-mir'.

aschwerdfeger-galois · aschwerdfeger-galois · commit 31cc4ad4a5d4 · 2026-01-29T15:58:07.000Z
diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.6 -- 2026-01-29
 
 This release supports [version
 6](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of
diff --git a/crucible-mir/crucible-mir.cabal b/crucible-mir/crucible-mir.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                crucible-mir
-version:             0.5.0.0.99
+version:             0.6
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crucible-mir/README.md

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# next`
	`1`	`+# 0.6 -- 2026-01-29`
`2`	`2`
`3`	`3`	`This release supports [version`
`4`	`4`	`6](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of`