From e9647ed7abe523f45b4d4bea5c4f2755db63a00d Mon Sep 17 00:00:00 2001 From: Lasse Blaauwbroek Date: Mon, 29 Apr 2024 17:54:24 +0200 Subject: [PATCH] Test2 --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 8a3b336..28c1f2b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -10,7 +10,7 @@ build-backend = "setuptools.build_meta" [project] name = "pytactician" -version = '16.0.0.test1' +version = '16.0.0b1' description = "Python Library for interfacing with Coq and Tactician" authors = [ {name = "Lasse Blaauwbroek", email = "lasse@blaauwbroek.eu"},