# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = python-z3-solver-pep517
pkgbase = python-z3-solver-pep517
xdata = pkgtype=pkg
pkgver = 4.16.0.0-1
pkgdesc = An efficient SMT solver library.
url = https://pypi.org/project/z3-solver/
builddate = 1772311530
packager = Levon Kayan <noptrix@nullsecurity.net>
size = 66272681
arch = x86_64
license = MIT
conflict = python-z3-solver
conflict = z3
provides = python-z3-solver
provides = z3
depend = python
makedepend = python-build
makedepend = python-pip
