%FILENAME%
z3-debug-4.15.4-2-x86_64.pkg.tar.zst

%NAME%
z3-debug

%BASE%
z3

%VERSION%
4.15.4-2

%DESC%
Detached debugging symbols for z3

%CSIZE%
237478463

%ISIZE%
837328384

%SHA256SUM%
d087079b75c2b843c3280784a904c602b5f7452f88d469542636a8b9abc89709

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmlv1QYACgkQ/BtUfI2BcsjjMw/+PgUg2gZ/+3FxFr+wjJvukYSv+7OipwjNoOsBAYPQorygDCTtD/6vJ7/gI0bCsf0hcb4Bky/G6cIJ9Ql3ZBnFNPPCbtwMgOaqgE3hRg6vTOJhpB+40Q22t2qMIgYgHvTDxrtG2orVNDd2A+LmlSuV98zVKDu6VD7Z2nia8qrArcfW7xCI4MgYX3UnxL0pB3nDWVDnhUK1H92QuXenwf4+gxHntUGOvOOWPx1QHgVMUUaNxktBP6hd/iAAkXEuBYXq9wVZeKo/nI5VChooxBM201pX062OUTZF9T8iKCJiUpVHiABbboPankO2YptatD0ucxLSe0+89pqPSXeFdO3aJFHYdCH+tsHcf2KQ8HSP3a8hWOHn4aF3/i87pWsu2qMSirbG13Udt+/XX/wlAENFCCZqh45vatw/d3N7nRkBgA5yUwMXi7SO1eG9+y5qBxOLi/zrr0ihBYT/f8RPqOIgXEEqwg3oF3xQdbWv4GkeMPxNtDBnE62FFX/D961W+dID427OLZcgZD2c6A3OwQpv78GNaDCmdUXDv/YGXyfi8OB1Utd5dTJWJp3adtQZO6Yh5snxI8eSHywCorRP+zOFpXIaenxigMc3ucFmMd2sEhoz5zQMB21R19Y5eDXce1vry6eMN2LTZU21jyKBcjum+/AMmRiWHwKOWm03mFvmPeQ=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1768936206

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

%PROVIDES%
python-z3-solver-debug
z3-java-debug

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

