blob: f898db639e22e2ad4b929105d127aa11647297fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = cpachecker-svn
pkgdesc = Tool for configurable software verification.
pkgver = r33105
pkgrel = 1
url = https://svn.sosy-lab.org/software/cpachecker/trunk
arch = x86_64
license = Apache Version 2.0
checkdepends = ant
makedepends = ant
makedepends = subversion
depends = java-environment=11
depends = python
depends = bash
conflicts = cpachecker
source = cpachecker::svn+https://svn.sosy-lab.org/software/cpachecker/trunk
md5sums = SKIP
pkgname = cpachecker-svn
|