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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-2

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

%CSIZE%
637728

%ISIZE%
5294596

%MD5SUM%
70d568826a8ddc5fd96b6214863cf9ac

%SHA256SUM%
459c66ce909304ae9694613c83910fddd5f334a10d260723cd6a6a02b0b01aaf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRWAd0ACgkQdxk/FSvb5qYNzhAAjLiYvmhYrRCSGVhgtqGxnmvvapAsjW4eFN4YNzGODqwVp3a5gdu2+/s7FJGE1ol8o7rYkdnBShSVzLTtps2trEluP7ndYjaUHY1IUX4Wk9KwinCGOWesl48E9tn1EhEZ72Je/+ub0/FthTv2cF9iT3tK9ZRV3XIuT7exdHYrejpl6hL5XCflD21eDSlSoklmm6RaheLpHyEUvpaTa7xbc9i69XoJQsk1CbmKNMPAx4POg2RUSpPmunSJ38+5Wxd0ygfbzK0OavbJaHbs+TZL/jzVN9Q5AlEcnUliCVLJV1UnLv2kzSg7mnnU1URfZEnJumRzLAM4Z81ZJbtfu8YBGvI52IOfpK8UDPo4jBR04vUfeivflS1yIy9o86+gxpva4bhhchhmzrbPsEd8qSSrbu/GXV8yD3MXCS2KnWg1RxB1rKiIU5u0hzzdSthUMAc0rEmnYp2Fq97PFGf7zVrM0OZnY4mcVP86h+LTch9wmC4LU5Ckmk/iRrTDjQrLb4tjEVvRP5d32jG9OC/rlZXHjmHQzKcVjQUWlDeNXdG90Ge1ftj8o6EqHBEfjbdulL1Gldj7QjUR4p0Aa72P5RZg0XcdZVBSeIITTms51/ufbxnity9HqpLR12RXbuF+mkKnlmuLBUbRTKoBcT7QqJuS/PlXCpNkaK6XpcRI6TM4pLM=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1683358130

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

