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

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

%BASE%
mingw-w64-adasat

%VERSION%
26.0.0-1

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

%CSIZE%
315947

%ISIZE%
1390493

%SHA256SUM%
70699037edb7fa81ee3caf8011f94a5aaeb18e73263171af0c16a8768b996b82

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

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

%ARCH%
any

%BUILDDATE%
1766318365

%PACKAGER%
CI (msys2/msys2-autobuild/6bebd1a9/20409362324)

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

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

