diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 9ff3971e8..8c73c29e6 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -296,9 +296,9 @@ setup( name='z3-solver', version=_z3_version(), 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, compilation, or installation, please submit issues to https://github.com/angr/angr-z3', + 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, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git', author="The Z3 Theorem Prover Project", - maintainer="Audrey Dutcher", + maintainer="Audrey Dutcher and Nikolaj Bjorner", maintainer_email="audrey@rhelmot.io", url='https://github.com/Z3Prover/z3', license='MIT License',