Automated Package Version Bump: Wed Jun 25 08:46:49 UTC 2025 886a7fe (#294)

Co-authored-by: Automated Publisher <[email protected]>

Author: github-actions[bot]

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "coq-tools"
-version = "0.0.13"
+version = "0.0.14"
 authors = [{ name = "Jason Gross", email = "[email protected]" }]
 description = "Some scripts to help manipulate Coq developments and minimize error-producing Coq code"
 readme = "README.md"