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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2

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

%CSIZE%
626776

%ISIZE%
5045301

%MD5SUM%
ddd1f965dd5a837333bb1d6b26e60481

%SHA256SUM%
8beb708affc354ed27a612fda337eea16f6c6ee5eb4a7f66e610c5575bc062e4

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmljhIQACgkQdxk/FSvb5qZaOg/9HMqOnXoZFlTs5XTY3jrFkFw3QiRjIIyakfs++9Z4XzJzDPPis8wA3kCv5x1J6C6kSFI1Ym83zNI47zA49X819L99gpPi0MsTFaB76s56PTLD7c9Ifsx2Ia1qeeJ+YjEVPJmglnthF/uooFd+vZtMAu/eoOKsq+PyCyUWaKcBf9Y0Pf2Qtqp11AlT0kUdlmV4C/6ylWrB27oBm7Vizj+Zp7l220xDLIVpuxilhXYPPzcHjpHWTadmpzvE9VIMaMNo5dibikZmCesc8Nk6iqWz6vfTgDelNeB/sLwVYB7grxH7x+BJrzhS1/M5c3e6ANVQHxiNf8vEK2Y1iZeQH3YKNTwVTWT+210CLaJbh2Iky9rV/nbd8uN7mC8tUNGkAo8Mklm6ialdiZGWCijQko1QKBeU+ctKkF6bjolgccujTpi52+QMPLq4UOcPLgIZET+Bn96Z2sHxlGkkxPC2xmRI8oyY+q0jYGptt/CilYRPtd0SOnXiKHlcYoBPIGDZ53GPn8BA4GO4kDyir9tO0APzWe6YOlBwabYWg59FdTcAshEqe4h8N7fr4AUxSNWHNEW6R7RThBoCgqk7z+pFU459UEI+HgPl6nIBGOhRtQede9TBpzn9VDnqTSy91rvDyeBnaA+NfdiXuS1ySiB/5+Pd+NKpXAqwkojtXvtY/l/S3ao=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1768129641

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

