blob: 982e85ca82c6c3251c33d038ced36594b7d6da92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = adasat
pkgdesc = Implementation of a DPLL-based SAT solver in Ada.
pkgver = 25.0w
pkgrel = 1
url = https://github.com/AdaCore/AdaSAT
arch = i686
arch = x86_64
license = Apache
makedepends = gprbuild
depends = gcc-ada
source = https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources-2024/adasat-25.0w-20240408-16385-src.tar.gz
sha256sums = abe44831dc69c160d1310730957f71d9a69391d7abddf30df4d0e689abc99fd6
pkgname = adasat
|