%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%
623488

%ISIZE%
4960655

%MD5SUM%
a3ffd790737b3a8af2939fd5e90cf03d

%SHA256SUM%
c8f0580ac832f4eef882f1a3ef966e8d18863bd122b944be71b0473a1074c369

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhO31sACgkQdxk/FSvb5qbeIw/+JjibRIDmDS9hIHFmUqvDf2hsQN9K+3NYbTBbK1Gkrl1QBQzWjyemsQnogH94hL12U4iBIw526n84Dk/GdjEHo2D8LcQaW7gvYLS0NJNdku+g0FLbsz+MmoRPSlfcRJ4In5fwZ9c5zAocx4SNUiCq0v5ct+FFO+eYFiiXe9JvJTlIYbYvuwCeiihtfZJrD7abdmPR4vOoEnljuIvowrtziHiDZaqDtB1i0NduVyvo/0xCtoUc8cihUF/+pOsNPej+oN0xCpJmB7tnuM2q6piMMXgOJhY2j7epeilW5mCsel/k2K7RQ1W/6zqnuyYOXWdxq4GylfCPaZbCxeHAjuSPvJ382iUCrG+MZx1bIKVpJle+ipt7VT+rgzdv0j8eUUERTNyo9q6A5Rf8Xf6gZ0818cg1te47PFYVorPTtXh2J4/w1/nK1rGZS7a1oQvmahSMb6l6l4ILKQltxlY1C5btB5nkO7wz+AxuT/M0814/gvwPQRCZzmorpTi4QuLTxHJYy3+xyQF6oJMs246qSderNGRMwlj7/cGKcjvjkuqAKB1eTsCniAUie8LvoXqyyR9CuJg+WOatu2QVmbiqfijmDiyn6R7cJgT6cFDvYZl5yosZGsHXTouyOSd3lbDlXqDnpRW4LP5yJ+3ImPc2h1t00MVDqo3FdtvA94pgam6qxBQ=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1749999412

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

