Add pypi package name

Certora · Jan 7, 2025 · 97d81ac · 97d81ac
1 parent 95d006d
commit 97d81ac
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -3,7 +3,7 @@ requires = ["setuptools>=42", "wheel"]
 build-backend = "setuptools.build_meta"
 
 [project]
-name = "cerotra-quorum"
+name = "certora-quorum"
 description = "Quorum: A tool for managing proposals and reports"
 authors = [
     {name = "Niv Vaknin", email = "[email protected]"},

diff --git a/version b/version
@@ -1 +1 @@
-20250107.150807.176048
+20250107.151758.528252