blob: e302a85473dbfa0e65bf7c227ff0c38b597a667a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = boolector-java
pkgdesc = Java bindings for the Boolector SMT solver
pkgver = 3.2.5
pkgrel = 1
url = http://boolector.github.io/
arch = i686
arch = x86_64
license = MIT
makedepends = make
makedepends = git
makedepends = gcc
depends = boolector
source = https://github.com/AbdullinAM/JavaBoolector/releases/download/3.2.5/boolector-java-3.2.5-sources.tar.gz
sha256sums = SKIP
sha512sums = SKIP
pkgname = boolector-java
|