# Generated by makepkg 6.1.0
# Sun Dec 21 12:13:07 UTC 2025
pkgbase = mingw-w64-adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
	pkgver = 26.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-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
