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

%ISIZE%
3371647

%MD5SUM%
a9a4d97c51a5f79e84c69257ce79c7ef

%SHA256SUM%
28a3ec8092a3c73ebd8d1d48eb16b8d830f1c3b1be035de5324a6bb56f109991

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMASXIACgkQdxk/FSvb5qa3bxAAqdS2UVDgrTC1Bx8itODs47y80TlqdhuUxo8XgXPG7/lUmkOJFWIU4GnikrLaohZMSlpNYMFZOdsbJM4ERFwxrn6blqyx74Y1Do8FCH20TPMQNP/3dPymCjBwUUVkM0yhxR04Mi6C2TjedC8LCsJAbEiG4HFgEtkdqcf2YD1PNs/s1hxt3WbK1DmJ3HFpw25U5Yfk/oBFfx5HGJRbDxGb658pJ0+6AXenlcrXlUqhqWzKonzKwOGLSfutQBNNEFd9psMaDnXcS3pb0awSMi7kSBfv5Q/VS9Kq/OWtzba57qypfehlfemt3TiSqVuEKFimiiyeh4bU1413aFWEyT4pP6pfKC9xup724zgkHdg2cMYETkWufWsX3crWMzq/xWPbxuvq5/Pn1NnWBEhfUbpnLHr1inz9VzdExEllJt06FLTlq1uaSSRp11BKhz2EPlgBJaQs5m7U3C9NdM9ghKHj5eTEGxsyOXfb3j/cQs8t/odIrmmLt7hKzC/LVnLpIG8xGEANQZGvNx8Dwx0JlpU9fDetA3nit0vm6OVSYCMWGm/Uk+ogdHmRN5Dnck/c6YpO9lW9/INjwrAMIOmmJ+er7fBlG8x2A9P7l8bnHxS4EQWRfRwpyQvsNRQquo04p4coWl8NJOeYXvFoR5NU3OBBZhfjZAs0pgK4MuAeu9Hm01c=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1660963157

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

