diff --git a/pyproject.toml b/pyproject.toml index d176d83..f09ec7b 100644 --- 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"},