# Generated by makepkg 5.2.2
# using fakeroot version 1.24
pkgname = yices
pkgbase = yices
pkgver = 2.6.2-1
pkgdesc = The Yices SMT Solver
url = http://yices.csl.sri.com/
builddate = 1596142068
packager = Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>
size = 5849899
arch = armv6h
license = GPL
depend = gmp
makedepend = gperf
