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

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

%BASE%
mingw-w64-yices

%VERSION%
2.6.2-2

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

%CSIZE%
1437630

%ISIZE%
9464020

%SHA256SUM%
7518a1599703e324a1e06961e1bc26ddc8e3fa9c86774e39c3d74912f46a1bf6

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

%LICENSE%
spdx:GPL-3.0-or-later

%ARCH%
any

%BUILDDATE%
1768348962

%PACKAGER%
CI (msys2/msys2-autobuild/a72b8c90/20976874683)

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

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

