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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.11.2-1

%DESC%
High-performance theorem prover

%CSIZE%
201275

%ISIZE%
1749330

%MD5SUM%
7043cff119814aee83e371a6fd5e77d7

%SHA256SUM%
aa3dca5294b2aa0f48aaf47af760cd79f0928199f38df5b975a76be3a0d54e4c

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmMeNk8ACgkQeGxj8zDXy5IxZhAAo+0HWCTmjhqdX04T1aXN59HR02F3QJrZy5z4hibQNFuMqOE+KzA9cteiK8IvgOizpzN2DjNlZmrJ60ikhiM9DUYVS3zeJ0wcCPSbdAIMaJ7nvHOGoSZUD30+paldqrJFWtn+ojxHOmQbWKuERTLWuLp8ViqbclmyT8uIicxPorSMWRSyngTliGiX5wf0GkfAA/5LZitujhJlYKMT7O3XLNk3av1/L3oWMt6NZOT7w2037PXVTmGj316xaTr5DGc/wOb26jfc8Q8jJ9bQuPpkX8xMf3XHunqlyIPXy26Wng8LiV9iMw5Xd0VW/4ZM9FqT0TSRaO8O6y6bsnepEfU7hX8cnnxz4/fLVELt9Nb3sQ+MCKwAOsovMiislXDeZgL+o+UzilJS/nwJym89uTgA07Lz5JUTmgg499iIxjl5dqDvfKzcP3TsOts7XesCe6iZUSh1XA9z7NZx0ZbMNxsFV5IhvC+Jkniq+3f1w+TOFWINdv9iAA/kNX+NEhyJqEywNdInAuIhbKGfr472d8USGGBzb5qEO1bQCQVUibAZDmbgT794vtct5HWcbvM/nSPsYVWs++7Hu+LD1Zt1Zz/tEf9hDYoST0Kmx1sUSwr8Nlc/ej68UDLfee557mshXLMd5ztDWPtv7Jqqoq8yjyjGpg3dYWnWq7sWCWC2eAPNp6g=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1662924194

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

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

