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

%NAME%
mingw-w64-clang-x86_64-yices

%BASE%
mingw-w64-yices

%VERSION%
2.6.2-1

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

%CSIZE%
1448512

%ISIZE%
9545214

%SHA256SUM%
0e22a385b814d3c3ea1f13c0949f8b0073f784da33e6a2b639308a023751d4b5

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

%LICENSE%
GPLv3

%ARCH%
any

%BUILDDATE%
1620157951

%PACKAGER%
CI (msys2-autobuild/4ba4930f/811212326)

%DEPENDS%
mingw-w64-clang-x86_64-gmp

%MAKEDEPENDS%
dos2unix
gperf

