# Generated by makepkg 6.1.0
pkgname = mingw-w64-ucrt-x86_64-yices
pkgbase = mingw-w64-yices
xdata = pkgtype=pkg
pkgver = 2.6.2-2
pkgdesc = Yices is a fast SMT solver with C and Python bindings.
url = https://yices.csl.sri.com
builddate = 1768348963
packager = CI (msys2/msys2-autobuild/a72b8c90/20976874683)
size = 10952222
arch = any
license = spdx:GPL-3.0-or-later
depend = mingw-w64-ucrt-x86_64-gmp
makedepend = mingw-w64-ucrt-x86_64-cc
makedepend = mingw-w64-ucrt-x86_64-autotools
makedepend = mingw-w64-ucrt-x86_64-gperf
makedepend = dos2unix
