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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-1

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

%CSIZE%
479260

%ISIZE%
3371647

%MD5SUM%
cc3bda2e212190d69529b2486ca7e0a8

%SHA256SUM%
d40e17b508b9ea11242a2c572b3baaef6875005acdd1feb26c70f484d9f53a7e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMASUsACgkQdxk/FSvb5qb0XBAAn3XLH3lK4uhNYp4V2sAkPsjNkCMUiv0SG+K4d92wMAeXt9xOGjRPI68HcbPjCjL8fFlESn6z3OrmQ+dKAaxUHAffmiiU4TRFbDmbfWf9zisqeyLfGcu60r2GqOEkXNg3l3YeqXN7BvePRJDrzG90JYPOwyGVyNEvXwMtCaWwmfsB/fKvK3E5kPJ7+ftnYokYgDkA4/cpq1OCE+v7tyQC6M4HuMmDunU6X1zYYzZ2m2/BImCJbMa9ZTIEL2JxMCqnhw/vBTjKapYrP7m8BIjDNjF/aC/7SMYJyoVNCO1s1mAoE0EXMQbCwt4KnYVruYzb0/ME3Ba2j6yWucIEAfzgw1dIbWdbi4JFifhEOMCxr0oMOtAcRL1hoBchq+AVfKr55Mgs7BabsaFu05KYLviB1SmI5Pa49xZjnw7VljnB/dHGF60S3rVKMp86oZ2vME1Y4KsdZ7bSuObn+0u+8GdTU89FdxX4/e8S7iCPaBQeYZi/VOhp4aihcyPRLvn1bHaOxDl8/hWOEBMIUkRuUhpcvD8vHmwn4gpoHSz35fxotPhJKCAT6CI1OJOfpkN8BT+dG8d+xX5gIXXHVzTFZW65smUzIO3yTMgpg6CApJTtHqJtnTxqMzrSQ8oZdwa7kIy0sZl1J7Cs1M9QtQBydbgJjl/qnTbl995UOMRJGBjtg94=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1660963091

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

