# Generated by makepkg 6.1.0
pkgname = mingw-w64-x86_64-adasat
pkgbase = mingw-w64-adasat
xdata = pkgtype=pkg
pkgver = 25.0.0-2
pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
url = https://github.com/AdaCore/AdaSAT
builddate = 1745602311
packager = CI (msys2/msys2-autobuild/e8d10d7e/14667667738)
size = 1368197
arch = any
license = spdx:Apache-2.0 WITH LLVM-exception
depend = mingw-w64-x86_64-gcc-libs
depend = mingw-w64-x86_64-gcc-ada
makedepend = mingw-w64-x86_64-gprbuild
