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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-4

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

%CSIZE%
610012

%ISIZE%
4837468

%MD5SUM%
cec72d6da6fbe2cf233066258fd7115c

%SHA256SUM%
fcefa68fa64d614f346041e1c113b19cf28e67e616053d9c990c7d3f671d3062

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYw+nkACgkQdxk/FSvb5qZL8hAAmakkmbQOYdORiXD0w64v78UNGI+ssvLUqiDgX0AM3K0ytp+cL+LtdopjpNLW3dhLMDd6PpSAcSDwDgVarJiVDQcmGd4eXeSMGAbsPkJwWdQCLgEKnP6QwgWgPryjoidbfG+u2jAtlcxE7oFCixoIMJjgaqNj4k1Y6FU/rYl/D/ajebT7LV2m88/umDFP36ISojKnTPmPhVx9hpiDoRhTSE7eu/dyOXkOwVUxi3IrRs/anOIDKbjcq43woy4Q335uch/5fNK/9EFs6/fhT+mxrfbRPfJ3FXBnP1jhWPpwLHbkENFh0KkyNraUEMI7DZ1fW36PiR0eqFb7pDgpfbXrWGD3xF03aYWxFTzqD3FG1sJX9iafpqXxFggruRYde2Tk+Pjy/SLnBJjemRzMuIrLs2WUaTA3XwR4GPyzXnibgrq4VfGmFJRmp/wOZaAUV0eWYuEB7HM+zweeZCzXRksmHIaYRp1Vm7Lt0KmqPyBVULeOZ/1YQckuakEGwiFsZ29QXWunF7sgBj5Adp3+GFIesnP447krt15qu6a48U8M5PMYjSdnv7Pok6XOfVZRe7SI8ujfTBq2MwFEn2WxP4roPe1h4izDg8vcpPBYIpfABMZ8BIrUJ2nn4+Ionb3BkmyW+wh1+H9oTUlTqqrUFzGytz4++0B0KtHFtNODvdzoFLY=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1714485836

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

