Bump version to 0.7.1

Author: oscarbenjamin

doc/source/conf.py

@@ -52,9 +52,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = '0.7.0'
+version = '0.7.1'
 # The full version, including alpha/beta/rc tags.
-release = '0.7.0'
+release = '0.7.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

pyproject.toml

@@ -1,7 +1,7 @@
 [project]
 name = "python-flint"
 description = "Bindings for FLINT"
-version = "0.7.0"
+version = "0.7.1"
 # This needs to be in sync with README, cibuildwheel and CI config.
 requires-python = ">= 3.11"
 authors = [

src/flint/__init__.py

@@ -48,4 +48,4 @@
     Ordering,
 )
 
-__version__ = '0.7.0'
+__version__ = '0.7.1'

src/flint/test/test_all.py

@@ -31,7 +31,7 @@ def raises(f, exception):
 
 def test_pyflint():
 
-    assert flint.__version__ == "0.7.0"
+    assert flint.__version__ == "0.7.1"
 
     ctx = flint.ctx
     assert str(ctx) == repr(ctx) == _default_ctx_string