# Generated by makepkg 6.1.0
# Thu Apr 30 21:28:49 UTC 2026
pkgbase = mingw-w64-adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
	pkgver = 26.0.0
	pkgrel = 2
	url = https://github.com/AdaCore/AdaSAT
	arch = any
	license = spdx:Apache-2.0 WITH LLVM-exception
	makedepends = mingw-w64-ucrt-x86_64-gprbuild
	depends = mingw-w64-ucrt-x86_64-cc-libs
	depends = mingw-w64-ucrt-x86_64-gcc-ada
	source = https://github.com/AdaCore/AdaSAT/archive/v26.0.0/adasat-26.0.0.tar.gz
	sha256sums = de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c

pkgname = mingw-w64-ucrt-x86_64-adasat
