Rename Pypi package (#67)

* Rename Pypi package * Update README file
Certora · Jan 7, 2025 · 95d006d · 95d006d
1 parent 09c6502
commit 95d006d
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -37,6 +37,12 @@ Quorum is an open-source Python utility that ensures the integrity of smart cont
 
 ### Via `pip`
 
+#### Using pypi:
+```bash
+pip install certora-quorum
+```
+
+#### Using git+https:
 ```bash
 pip install git+ssh://[email protected]/Certora/Quorum.git
 ```

diff --git a/pyproject.toml b/pyproject.toml
@@ -3,7 +3,7 @@ requires = ["setuptools>=42", "wheel"]
 build-backend = "setuptools.build_meta"
 
 [project]
-name = "Quorum"
+name = "cerotra-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.145117.111615
+20250107.150807.176048