%FILENAME%
python-pysmt-0.9.6-1-any.pkg.tar.xz

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-1

%DESC%
Solver-agnostic library for SMT Formulae manipulation and solving

%CSIZE%
623360

%ISIZE%
4960655

%MD5SUM%
e2dbd5fe97cb672c5344fdb91d921f55

%SHA256SUM%
120b594a9c566bfd148fe067edccc19b589ac17511469b8d3f444275fd3b67cf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhO55wACgkQdxk/FSvb5qbhfQ/+IwT7NwrFvaZvbZ44mL0ZGtOqzmavvjWS1JfqzFFKpgbix5xiKqvwF/DXVhsPmZ5DlQWjCfEusk/ww8CciEyHdSFpQcHJxLhgFwXu/MFgAyqvrWyAdRGvS30TUIm5sInB1kOo6Cdjm+J9nxMxAnUwLhk+aIMwBaJ3hwnyBDnATgOfh+bn5ByMmUrbs9SToGMIkXk+DfBq1j2Llmma30OST17jOu2QLbwzcZj7GWxIMQowdaxlvr+EDl3dCsqy6psGg9e3zWU+II0llxv8ws/NtpkLX+PSwwg6mzp+M7rvWd6YWPkfFyrrfNqh02P/JNfTT23gHT4B02FsDyEdmfA/HzQcfB4udOTM9NGP0ZxxXyQdH/GeoS2yTnV7cFyhJ8L4GTcKQ6OE0rPBGlg7PI5reRc9O0By/5P5tt70MEegHyRDKpSCPD+I1e2BHypvfKcCWeGgpC+DG2zvpVsmpmeFYN05V9VzafrXtmMbct1VV/JwIc5tOuPCZusfe0FBbPVOCA1q3ouEVDh1uVIw75ko3QSkq3VlsZ2PiZtp6QsCBFfIccC1fPe2XGCjlJrZ+I1AwgOcox3eLtXgj0kKB1HmOG6UphGSPaoCenjItZMIL5sF888xtlnfeyLtkJi8RTbF9ZQAMBkMqvimmaFN7Rc6dZ6jNjmict+arpDk8SmiENk=

%URL%
https://github.com/pysmt/pysmt

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1750001543

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%DEPENDS%
python
python-z3-solver

%MAKEDEPENDS%
python-build
python-installer
python-wheel
python-setuptools

%CHECKDEPENDS%
python-pytest

