%FILENAME%
python-pysmt-0.9.5-2-any.pkg.tar.xz

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-2

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

%CSIZE%
637744

%ISIZE%
5294596

%MD5SUM%
cb2c1d1eb6a0758e50f9dfe66914eab3

%SHA256SUM%
8a398ac8bfa75c1bd93bbd263082849dac304959fa3a853e4f164fef3928e458

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRXTvEACgkQdxk/FSvb5qY2ZBAAzPOp8K7pWsj/Pe42YrI67Jzc+HMftXwecpV34cP49ECmz7k+dF2F9ox7KfDqwBOohS7VchnCFwdQJmSHE6a/qNxSGCkNbZijaWYmYnSSitacsZocQePBHhtGI31P0m9F6S05UuUoxUtmPAhOHqKdb83HBBIVGvB796ZxO16/l2hTLz2k3Mnok80lsinS7FD0TcLwc0TU0/sAwxtG/P5ENN8pk0GjuUUYiEwcC/EEgpHw0oc7g2vRZG1GxMcm2PGVTsAfxYm8/ot1fgZgo0y68lcfYR2EssNmOkRvrJVUYRFROi33YSbnpTumLOH7Z5uoKh2ad5KCaFXhN/9N4XC2oEDJrL60qeNskAB2ZybbfkIbDY7o1KnUSarXW9v1QwlQwgUL8simE9HSPNII/d18Nxn5GyoaUTXGa8hOsxxpps20WNdVUXGCPZWjESdjRQvMS4u0W+T+zp9LTzOZFtYnZuF5sk26dhc2YEEACrHc44l7tYrt/xsinyx+brs6UC+4twSr9HDDdEwqG2tn7GwryJoA1nidJyHDXsVXIkMqRlc17843kK26u+453uLFrcf5VTVXk7/J4x7GO7d4nqASErwK0DZVdyPsrcyA9YjqMghO1JdgFKKZcq9HqAV2JAnSQHOahsKMvsK1JcdPhigDa1urYzLJhMkx7i1uLJvakVM=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1683443420

%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

