docs: update authors/maintainers in pyproject (#146)

Co-authored-by: karmacoma <karma@coma.lol>
a16z · Jul 25, 2023 · dbf7e33 · dbf7e33
1 parent 5b4169e
commit dbf7e33
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", email="karma@coma.lol" },
 ]
 classifiers = [
     "Programming Language :: Python :: 3",