From 9bce50b25e136e96ce2aff5628a7549d6a21a2b7 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Mon, 24 Jul 2023 18:51:07 -0700
Subject: [PATCH] docs: update authors/maintainers in pyproject

---
 pyproject.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pyproject.toml b/pyproject.toml
index 056b2e05..a55749a1 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" },
 ]
 classifiers = [
     "Programming Language :: Python :: 3",