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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2

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

%CSIZE%
626768

%ISIZE%
5045301

%MD5SUM%
670dc7ae19b69d6c980947dd552047b5

%SHA256SUM%
80289d797f5020ddb0fd0c61e07d3c5815454b8c6c99369b6656c664eb27e80d

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmljjHIACgkQdxk/FSvb5qYcQQ/+OHpMTnCtaMpB+Y+FJKju2kMA9tb9ebEBW0aN9BYy8hWqamYm7/Apy+QWfUW0UjLM8Prtjl2MaiyAlB//hZUePgaebTukv/ESNrEO2DLR4IqFrK+ae+wnt3KvWSm4hBZTVcOisfun9lH0A59RUNQ98bJUx4kgIWIy+xw8mBWUnGDL3EtcuviJ50lcUDiYkvAIOOFEbD+xSxFXd+4FOVVYpVRJ7+ny/iRSIEBYF/DYFNqzfzI/3z5JGPe6ZLJJuF/YVFyfYTQYZOPsYME9hY87jhM47M0oJDCJMFD6EYT/bqdpqRhtnbH5xIDHET8nPZqsKfqmgOyz9Yr/Hdq3BvQoj6sF+8mTCHhRzE7Ffsn6hHhjZI3W0uAWmo60ps6CsexW5Ly66CMA6eQHYZYS1vDTvr+1E5BNF66qAORgKcVwKybgZCYEX1lF9Yhu/bvlICmAk1bYtC/jbhqd9wBmgyxBVf6L+LgmviFSy0IAXmXvzJ8bF7VxNppPE5uV7sylW5n3kVHJmEYZYirF5be9ACN7sNIYjzRJtT1FAbCKIWqWRo3uNug7XvzGh8XtzC+EIFyUZVRnHKMsiGwDaFU3Es3W8ZpanCQ+ZIKIInyraeUSOb5N1I1bJIHHhDHxNjVOQ7Z/vqnh/jpa24pKIPzih8OSHpFZFS3ay0X8bu5KGRgxKGA=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1768131653

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

