blob: 9bd347d24dfc8ff632a73aa3186f76786b69bab7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = btor2tools-git
pkgdesc = A generic parser and tool package for the BTOR2 format.
pkgver = r79.6ba194b
pkgrel = 1
url = https://github.com/Boolector/btor2tools
arch = x86_64
license = MIT
makedepends = git
makedepends = cmake
depends = gcc-libs
provides = btor2tools
source = git://github.com/Boolector/btor2tools.git
sha256sums = SKIP
pkgname = btor2tools-git
|