format = 2
pkgname = z3
pkgbase = z3
pkgver = 4.16.0-0
pkgarch = x86_64
packager = @termux
builddate = 1771486271
