blob: f9c31ac0d8b951074da5a9f4a1a80fa31e714328 (
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.1
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.1/boolector-java-3.2.1-sources.tar.gz
sha256sums = SKIP
sha512sums = SKIP
pkgname = boolector-java
|