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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.14.1-1

%DESC%
High-performance theorem prover

%CSIZE%
274774

%ISIZE%
2605426

%SHA256SUM%
b22bb6f847c1058389d1063a3db0926c7900577b7595e1a6efd6707447775269

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmftrSgACgkQ/BtUfI2BcsjWNhAAuyiw+JQSBk1/jDf3tOlSzpNyyS0psARNg++r3p+XrTiZa7MAgWl7L7/YqFOjojv52OLgRiySfBsOYIfeM3uxxUllYLoYQg/IWzMxQtRWPFngnH4V/mhvgdjbkWfVXEfV01ZVUkz39YFDo75zCQG4Ob+PVQxL4CNB1ukORrvUjDcSWFq2TFQXfLsfaDXzOXSDXLuPS+zwFdpewgTngmKEvRT5hZkdvgoEYWBtoUE1ZcYdjlPoHV5SC4UspKsPsnnzuCjQOmH6nseKuWHtwhw38R9Zci0CFk0CmMNmB/97A3sXzqnkZhEanbJEynzDUw0Nv3xDgMSffKlr3cemXOYvehpB3LqhxfbIB3ZoQ82cV1/bAGpYft4mcTvpzURt5FdmMkiMaU12ro0iYoRwhn6qagAusVVgKf0GP5B7IFomYh+FjTzHv4gnt5Zx45B14O/sK6ChOiOsN9bHnjeaNCO93jSQwQG1APyc/6YNW9nBYO6qXDhK956J9k6Tqm/zdveFqcjwEQe668XkR9P4N0E6HqRaP88byPv5zbI6byJu3JfnTzLLTLesONSn9FFmRpo+oy/Wu1CSkqhXq+/CTHwUzO+UZIm/1zB5DocTtY3SJnb8EUDEgDRAsCMBUkdVns7JqWfGcol1lbelvBYPTRt+VkqCQk2g2+/W+QTyGdHnt/g=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1743629178

%PACKAGER%
Levente Polyak <anthraxx@archlinux.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

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

