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