# Generated by makepkg 6.1.0
# Thu May  9 13:12:00 UTC 2024
pkgbase = mingw-w64-adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
	pkgver = 24.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-gcc-libs
	depends = mingw-w64-ucrt-x86_64-gcc-ada
	source = https://github.com/AdaCore/AdaSAT/archive/v24.0.0/adasat-24.0.0.tar.gz
	sha256sums = 7601774c928e5bb73971fce3b3942b4609a71386230690f8c130e9f708adbfd6

pkgname = mingw-w64-ucrt-x86_64-adasat
