contra

andrew-johnson-4 · andrew-johnson-4 · commit 6c8db500dce0 · 2025-02-21T17:09:12.000-07:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.20.57"
+version = "1.20.58"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"
