deploy2

andrew-johnson-4 · andrew-johnson-4 · commit b8d1ed3a1a3d · 2025-06-01T14:17:07.000-06:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.21.14"
+version = "1.22.5"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"
