%FILENAME%
mingw-w64-ucrt-x86_64-adasat-25.0.0-2-any.pkg.tar.zst

%NAME%
mingw-w64-ucrt-x86_64-adasat

%BASE%
mingw-w64-adasat

%VERSION%
25.0.0-2

%DESC%
Implementation of a DPLL-based SAT solver in Ada (mingw-w64)

%CSIZE%
315074

%ISIZE%
1368989

%SHA256SUM%
9b7ee9a7331b4bdd6c0e4db974cd4bac18c561e7f60d52da4b9750e7d20b2250

%URL%
https://github.com/AdaCore/AdaSAT

%LICENSE%
spdx:Apache-2.0 WITH LLVM-exception

%ARCH%
any

%BUILDDATE%
1745602756

%PACKAGER%
CI (msys2/msys2-autobuild/e8d10d7e/14667667738)

%DEPENDS%
mingw-w64-ucrt-x86_64-gcc-libs
mingw-w64-ucrt-x86_64-gcc-ada

%MAKEDEPENDS%
mingw-w64-ucrt-x86_64-gprbuild

