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

%ISIZE%
5045301

%SHA256SUM%
80289d797f5020ddb0fd0c61e07d3c5815454b8c6c99369b6656c664eb27e80d

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1768131653

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

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

