From dbf7e33f96689cdaf41d464d87853fdb54941fed Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Tue, 25 Jul 2023 16:01:42 -0700
Subject: [PATCH] docs: update authors/maintainers in pyproject (#146)

Co-authored-by: karmacoma <karma@coma.lol>
---
 pyproject.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pyproject.toml b/pyproject.toml
index 056b2e05..f8f2abcf 100644
--- 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",