# Generated by makepkg 6.0.0
pkgname = mingw-w64-clang-i686-yices
pkgbase = mingw-w64-yices
pkgver = 2.6.2-1
pkgdesc = Yices is a fast SMT solver with C and Python bindings.
url = https://yices.csl.sri.com
builddate = 1624154667
packager = CI (msys2-autobuild/d20d37a6/953336127)
size = 8523804
arch = any
license = GPLv3
depend = mingw-w64-clang-i686-gmp
makedepend = dos2unix
makedepend = gperf
