# Generated by makepkg 6.1.0
# Fri Apr 25 17:42:04 UTC 2025
pkgbase = mingw-w64-adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
	pkgver = 25.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/v25.0.0/adasat-25.0.0.tar.gz
	sha256sums = b823969345cdd3678bf3cb1eb55592a0f74c2d99fc67303e187b4fbc960188a2

pkgname = mingw-w64-ucrt-x86_64-adasat
