Package Details: cpachecker-svn r33105-1

Git Clone URL: https://aur.archlinux.org/cpachecker-svn.git (read-only, click to copy)
Package Base: cpachecker-svn
Description: Tool for configurable software verification.
Upstream URL: https://svn.sosy-lab.org/software/cpachecker/trunk
Licenses: Apache Version 2.0
Conflicts: cpachecker
Submitter: daniel7
Maintainer: daniel7
Last Packager: daniel7
Votes: 1
Popularity: 0.000525
First Submitted: 2020-04-03 00:15 (UTC)
Last Updated: 2020-04-03 00:15 (UTC)

Dependencies (6)

Required by (0)

Sources (1)