%FILENAME%
mingw-w64-clang-aarch64-yices-2.6.2-1-any.pkg.tar.zst

%NAME%
mingw-w64-clang-aarch64-yices

%BASE%
mingw-w64-yices

%VERSION%
2.6.2-1

%DESC%
Yices is a fast SMT solver with C and Python bindings.

%CSIZE%
1338900

%ISIZE%
8698400

%SHA256SUM%
5e197ee7e613160a4b79cc4e717015ea9bb6dc747dcda7959d12fb4a95721bb7

%URL%
https://yices.csl.sri.com

%LICENSE%
GPLv3

%ARCH%
any

%BUILDDATE%
1683760322

%PACKAGER%
CI (msys2-arm/msys2-autobuild/8d98d967/4941331297)

%DEPENDS%
mingw-w64-clang-aarch64-gmp

%MAKEDEPENDS%
dos2unix
mingw-w64-clang-aarch64-autotools
mingw-w64-clang-aarch64-gperf
mingw-w64-clang-aarch64-cc

