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

%NAME%
mingw-w64-i686-yices

%BASE%
mingw-w64-yices

%VERSION%
2.6.2-1

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

%CSIZE%
1491567

%ISIZE%
11429178

%SHA256SUM%
f8b9cb5e23cb8a25814c982be87ee2511f91c1f36057f8beda25be5d371d245d

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

%LICENSE%
GPLv3

%ARCH%
any

%BUILDDATE%
1620157912

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

%DEPENDS%
mingw-w64-i686-gmp

%MAKEDEPENDS%
dos2unix
gperf

