From a7f7872f45584dbd7848fa0c4043eac9b7c4a11d Mon Sep 17 00:00:00 2001 From: Audrey Dutcher Date: Sat, 28 Jul 2018 18:05:58 -0700 Subject: [PATCH] Update maintainer info --- src/api/python/setup.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index c9e7ea9f4..07fc6e866 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -179,8 +179,8 @@ setup( description='an efficient SMT solver library', long_description='Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.\n\nFor documentation, please read http://z3prover.github.io/api/html/z3.html\n\nIn the event of technical difficulties related to configuration, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3', author="The Z3 Theorem Prover Project", - maintainer="Andrew Dutcher", - maintainer_email="andrew@andrewdutcher.com", + maintainer="Audrey Dutcher", + maintainer_email="audrey@rhelmot.io", url='https://github.com/Z3Prover/z3', license='MIT License', keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],