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

%NAME%
mingw-w64-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%
316064

%ISIZE%
1390653

%SHA256SUM%
2195fb1e39038823b100f30b6f55903ef33f0ce8172825a869f8bb7c6deda175

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

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

%ARCH%
any

%BUILDDATE%
1766318379

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

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

%MAKEDEPENDS%
mingw-w64-x86_64-gprbuild

