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