# Generated by makepkg 6.0.2
pkgname = mingw-w64-x86_64-adasat
pkgbase = mingw-w64-adasat
pkgver = 24.0.0-1
pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
url = https://github.com/AdaCore/AdaSAT
builddate = 1705823351
packager = CI (msys2/msys2-autobuild/1c45f2ab/7599824686)
size = 619588
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
