.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pkgbase = adasat
	pkgdesc = Implementation of a DPLL-based SAT solver in Ada.
	pkgver = 24.0w
	pkgrel = 1
	url = https://github.com/AdaCore/AdaSAT
	arch = i686
	arch = x86_64
	license = Apache
	makedepends = gprbuild
	depends = gcc-ada
	depends = python-e3-core
	source = https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/adasat-24.0w-20230324-16568-src.tar.gz
	sha256sums = 8e5d14931c456144575501e6d45dd1bbe5adebcea05346ac1940087bf8c5ce9d

pkgname = adasat