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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2

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

%CSIZE%
669889

%ISIZE%
5045301

%SHA256SUM%
8fb0ba9e6677b719988b9a1a4ee9eb40dfa04b4be05009d2cc40b5b49d59ca4f

%PGPSIG%
iHUEABYKAB0WIQQQlBXmkgB2Ccp+v+QAHPSBC+jZEQUCaUT/jAAKCRAAHPSBC+jZEXytAQDWaDza7yhZyQcdizHlCpUpoUwWyOgY+iGpW8d0DFyQZwD/d1yRVY5yRqVQhsHmo28zevEXj7FUd24VWNNdpDYsjQU=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766129507

%PACKAGER%
Jakub Klinkovský <lahwaacz@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

