Make pypi happy

coq-tactician · Oct 23, 2023 · b646a29 · b646a29
1 parent 06007b6
commit b646a29
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.1'
+version = '15.1.test'
 description = "Python Library for interfacing with Coq and Tactician"
 authors = [
     {name = "Lasse Blaauwbroek", email = "lasse@blaauwbroek.eu"},