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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-5

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

%CSIZE%
614788

%ISIZE%
4841301

%MD5SUM%
ae9ec5b344459d564dee5f756c0755f5

%SHA256SUM%
22d20941220a37afe251b638a0aa92ed9d3f3c12526bf575c8b1b1b5ea2d2831

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmdpOu8ACgkQdxk/FSvb5qbPVRAAj8O8HRCEjsKNoQhPv6UfrkXYLfTFhh6N9GsuThP4qM0CEuaaDlR7sBg2pZqFJK8uTr4uyg62gOWJO2GBa0Ryd4wNP0jSD0psId9raVCQLrGkFHtnW6JD0Tiv5N9UFjSvja1yo9I3BiQqPSlhhwcQrdT+zGREh6Z5A0DnMuHPNGsJ1d4vsEGCgvvvk3++7NLiqa7gLVQhqEnnJdktPN5jcwr9Ph9BYlVPInUTTD9t4SqDHcz4oBApQ9vlvdC/Vx+IP/LOjIXikNZqPeXcMNFEsW7KoiiIv2b9t9EenCGTH5iIc5Yyam0ule8dH6vzqa62d3748d4Ywb6J0klNzcF+KaRbmfD3nyuAMrHmsufPbTa58A/5YVqEgKc4mEDoQQonJIBpa0F+fwKFKj3m9zIQd5k43YU1HnYEH88MuhjJ5JvHu95T17K1zY0S4wJ88gKxSRQ33L51H55nOGm4yXFG8XDdP9hE6rhE2V3SbEcP78CsZify54Ub0O7gChtpGkemSauY6pgl3rGqzSKqqZzWQcRwiw7uVBpXjnkU1GljlzfO4qE1qruKFY0MGfrDBQr9yeUWl91JJtUPNckwOA8fqzw9UeFkAE3phb3HWe534rSIXZ8c+BrenMyIL0BbT/SP5qC1vwv6CCKbAf4jE0UvU9F/Hu5YjtAo5KPQgTRxFFE=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1734949576

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

