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