docs: update authors/maintainers in pyproject

a16z · Jul 25, 2023 · 9bce50b · 9bce50b
1 parent 24a56ea
commit 9bce50b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -9,7 +9,11 @@ name = "halmos"
 description = "Halmos: Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode"
 readme = "README.md"
 authors = [
+    { name="a16z crypto" },
+]
+maintainers = [
     { name="Daejun Park" },
+    { name="karmacoma" },
 ]
 classifiers = [
     "Programming Language :: Python :: 3",