Merge branch 'coq8.11' into test-pytactician-deployment

coq-tactician · Oct 23, 2023 · 06007b6 · 06007b6
2 parents 14802b1 + d405da1
commit 06007b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyproject.toml b/pyproject.toml
@@ -10,7 +10,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pytactician"
-version = '15.0'
+version = '15.1'
 description = "Python Library for interfacing with Coq and Tactician"
 authors = [
     {name = "Lasse Blaauwbroek", email = "lasse@blaauwbroek.eu"},