Automated Package Version Bump: Thu Apr 2 17:08:33 UTC 2026 9eb8db7

Automated Publisher · Automated Publisher · commit 19e8b1610bb6 · 2026-04-02T17:08:33.000Z
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "coq-tools"
-version = "0.0.44"
+version = "0.0.45"
 authors = [{ name = "Jason Gross", email = "jgross@mit.edu" }]
 description = "Some scripts to help manipulate Coq developments and minimize error-producing Coq code"
 readme = "README.md"
