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

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

%ISIZE%
1368197

%SHA256SUM%
5e7fc0ac52fcc28583d4289574250b1653c2fc12d9d3838e84f82b6d78ac6d58

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

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

%ARCH%
any

%BUILDDATE%
1745602311

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

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

%MAKEDEPENDS%
mingw-w64-x86_64-gprbuild

