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

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

%BASE%
mingw-w64-adasat

%VERSION%
26.0.0-2

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

%CSIZE%
315340

%ISIZE%
1383607

%SHA256SUM%
a4cb776c999d1aa0daab565183da3b20511d86a81435629932c282ee434aea3e

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

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

%ARCH%
any

%BUILDDATE%
1777580510

%PACKAGER%
CI (msys2/msys2-autobuild/actions/runs/25182803951/job/73832149444)

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

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

