# Generated by makepkg 6.0.2
# Sun Jan 21 07:45:50 UTC 2024
pkgbase = mingw-w64-adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
	pkgver = 24.0.0
	pkgrel = 1
	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
