%FILENAME%
python-z3-solver-4.12.5-1-x86_64.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.5-1

%DESC%
High-performance theorem prover

%CSIZE%
274244

%ISIZE%
2767140

%MD5SUM%
ded803027c69593a5b2ad5a726b87b3e

%SHA256SUM%
a6d14718f5fb3d6d3f293c17110c91a04df67163b88a7489bf066e3af2e21ac0

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEO8ACgkQrx0hme8KPM8z7BAAtzUBCXuRSDi9ZbUw8OEJjLqwIB5Fzi5gQ8PguBABFJmB2sI28+n8VWygUE9GtEof+AL1w1DQR39SALHnOxZihqqHi9r+7DCqPA4n+yKRbBtf/VSM+UeG4w6JxVN+7QbjySFHnPejDa/91MmNozGFG9eUe8ubmNzljW4Mg3DeWmh7ybtcMUCU9RAua3R+dSrO8obkXT8vOuEbRuBndZxFXj371S6xtXQNqZafDg5UDo4jzH4W+/fwD1uAU38847gDYuXqrKqIk9JthSShz9lSTZ77VT4udHe0IDKYJ67cnwb9JRsxFZ5m+XuwYFYgMMBsCQA+njNibCsKNrMlN31boZhKaUYHRLM00J15kOrs9tkWK1SlQkj/1xWSdbBs/m7FoIkZ8xoro32PbBvPVYHeK/wJmI/kRAkbK3uvC+G/+Nn6IVBV7JCX6TZiA0wqV0h0o0eD0AiMOJ2Q41PYCUWN7HV98r6/5t8P57XXcSHTodLNWkioeMEj2QDqjRjeAoUJVM7ZNrjlrCuKOng8sNfPRq4UMxULq6W6lA+Z3xtCEi1JbV31iNxPIuj4resCJ6Q8jN1WoOdfuG2wWGtkdksIbGxXu+ukJpjDwAOVg38MT6wfjSmrfQFId0Mip5kFKNU0ms1pVIBU6rdw7EXjm/i4C2ba24bq+PfAkVO3ZkP2A9M=

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1706300928

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

%MAKEDEPENDS%
git
glibc
cmake
ninja
python
python-setuptools
gcc-libs
python-build
python-installer
python-wheel

