# Generated by makepkg 6.0.2
# using fakeroot version 1.31
pkgname = cpachecker
pkgbase = cpachecker
pkgver = 2.2-3
pkgdesc = Tool for configurable software verification.
url = https://svn.sosy-lab.org/software/cpachecker/trunk
builddate = 1688177055
packager = score.moe build host <seejay.11@gmail.com>
size = 283996786
arch = x86_64
license = Apache Version 2.0
conflict = cpachecker-svn
depend = java-environment=17
depend = python
depend = bash
depend = jre-openjdk
