Package Version Bump (#177)

* Automated Package Version Bump: Tue Oct 24 23:25:29 UTC 2023 970ec5b * [create-pull-request] automated change --------- Co-authored-by: Automated Publisher <[email protected]> Co-authored-by: JasonGross <[email protected]>
JasonGross · Oct 24, 2023 · 7a05076 · 7a05076
1 parent 970ec5b
commit 7a05076
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "coq-tools"
-version = "0.0.2"
+version = "0.0.3"
 authors = [
   { name="Jason Gross", email="[email protected]" },
 ]

diff --git a/setup.py b/setup.py
@@ -2,7 +2,7 @@
 
 setup(
     name='coq-tools',
-    version='0.0.2',
+    version='0.0.3',
     packages=find_packages(),
     install_requires=[
         # Add any dependencies here