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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-4

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

%CSIZE%
609952

%ISIZE%
4837468

%MD5SUM%
0efcf69dc4ac5230f6492302d40a44f8

%SHA256SUM%
d56b78328c0e5642abce034ae9b211891466b4046792b3acb74f3732f13eff4d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYt2oYACgkQdxk/FSvb5qZF9w/+Liqe8pmhaLDmIfL/PIJGJ98OK9MFswt/UVxWqgHaSHTXRtYyIQgmW53BP62fUA69Tdu6mJTU7sW6f21Sv6z00ij6ne/UGrwSsPI0yQnB5LjrB93zy0pLvEeFxbA4nQYUkYDv1TPQjkCycmaDqX7lzjSecM7zti2EJRmYT+SY7if7ov/LibwJfj/wixbYKpS7gC/6vY4VkZsftqYEjvdMGls5R6EAoCzA3e/UbhSddqPo4IsVRDjqnitz+RbISn73VAuYQHB0QEDmzsc8qGxuzy3WH45s4aFOBFFaLaUnl44ObeIUVNbfzZ64rQaNjNsLxm5d/dAMMJSFL8o0xDggBnH/9EI6XyDyH8ov7zIk5ppxPzdmIrr4OrpnLmXThkd5RPk1385dKrPCa5OjQqdVuxlNO0YH3IMrfngrYSPt2l0Wb6Nu6FdAZzQN0uE38enFnqYq2/nBJY33JFqjNk1R43a4DcTzRaoEwVBdtD0Mbdu/+b3rzKnhG61M0KCHIJzuu0ZKQl+Q8cg4EgAyVxTcc8XiQe9EEc+f26Wru3OAV6g6hJHmEDgsI5zvje1qxl+y4RnbcycxeI1kaErQWmATs6/9g1/wE393JkJbWYmUIzukXZkUI5dPjcCY4Fc2kL8qBya9/ZiKY+hwtmgWqDjNIUZtUlaq3RfXOsg4ieoaQcY=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1714281067

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

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

