# Generated by makepkg 5.2.2
pkgname = mingw-w64-clang-x86_64-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 = 1620157951
packager = CI (msys2-autobuild/4ba4930f/811212326)
size = 9545214
arch = any
license = GPLv3
depend = mingw-w64-clang-x86_64-gmp
makedepend = dos2unix
makedepend = gperf
