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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-2

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

%CSIZE%
679091

%ISIZE%
5294596

%MD5SUM%
57f4071ed002e479ff3cca308b06a997

%SHA256SUM%
93e837a1c87b05535b63aae7e64e88e9f37743afb6b1cc371dd3d24eb551752d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQv8fsACgkQeGxj8zDXy5Lv6g//Q6LV76jgwI7YYUHIFyXTxvBiAP/EDOD2VkMzfxNC34AJLneb5RJEj1xxQCTRJu/gJnaLuOQ5dkhI47N3DEoD7+i0xoNm90dcoFjr2eV2AQfuyyQqNAz6/3YQHhYPvCfCamYTVxmyM7uECBvKx7KDt0TuFrX9VGERlYVcEooiqX51Q4rbwD1/VL9iN1nfCGULiveSkaKoIzmgL4HLVUbtzH8OF8DBc3V/5qpNvLt6ISHGyIvjAoRgjy3F2JQ/lpLGesOgqsjWzz7GYTwm6kc3bT6BkhWHAhqcLgP3XcrtMC7qWv+OHR7KUljtwTTfonAwVW54LiOix8HnL62xdo0z/1l0Z4gFOImoaZokeJ7oF6fJh6qC8bX+POXrkX+Db0HjpCEib90RwqYoWsAHJ5x4I1ao2fNR0uWykjbXqEjtpCCLmSC3llQsve1h4UfZ4sb+R6jUSZrh1HFxzXUaCaqwKCIydizESSvAcRFq2n/rGePwXuM0o3Vh82CcphmzzZwm6Zr2FvysollHiN/R14NZYG8jWNtPnnCke+C+mCLrEoZPiq1HpnhTg+5TnbQpwB2xjCgIqC+kNb9l8yjWvanXJpkUIa+BojBRYxPVlHwMSFu5HV7ei/Qa5hw/pQ6D/kT7D5X1VJ2QdMpzUilFyIPW+8dLUqG7MSLfEPZsvih+bus=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1680863701

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
python
python-z3-solver

%MAKEDEPENDS%
python-build
python-installer
python-wheel
python-setuptools

%CHECKDEPENDS%
python-pytest

