blob: 9d36e86f897f67521650f31e5ebfc8dc78bf51f7 (
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.1.1
pkgrel = 2
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/v3.1.1/boolector-java-3.1.1-sources.tar.gz
sha256sums = SKIP
sha512sums = SKIP
pkgname = boolector-java
|