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