# Generated by makepkg 6.0.2
pkgname = mingw-w64-clang-aarch64-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 = 1683760322
packager = CI (msys2-arm/msys2-autobuild/8d98d967/4941331297)
size = 8698400
arch = any
license = GPLv3
depend = mingw-w64-clang-aarch64-gmp
makedepend = dos2unix
makedepend = mingw-w64-clang-aarch64-autotools
makedepend = mingw-w64-clang-aarch64-gperf
makedepend = mingw-w64-clang-aarch64-cc
