# Generated by abuild 3.4.2-r3
# using fakeroot version 1.28
# Wed Dec 11 05:38:39 UTC 2024
pkgname = py3-z3
pkgver = 4.8.17-r0
pkgdesc = Mathematical theorem prover (Python bindings)
url =  
builddate = 1733895519
packager = Unknown
size = 603136
arch = noarch
origin = z3
commit = 66185194b969a0fdd077d1a29577a64cf11d0899
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
depend = python3
# automatically detected:
datahash = 95357188408c33b56af8bfe485bfba0b6cc9d34a1b5ed160b7291e3f171708f6
