Package Details: cbmc-git 5.11.r1339.gabbb38942-1

Git Clone URL: (read-only, click to copy)
Package Base: cbmc-git
Description: Bounded Model Checking for ANSI-C
Upstream URL:
Licenses: custom
Conflicts: cbmc, cbmc-bin
Provides: cbmc-git
Submitter: PythonShell
Maintainer: PythonShell
Last Packager: PythonShell
Votes: 1
Popularity: 0.000000
First Submitted: 2016-09-04 11:51 (UTC)
Last Updated: 2019-02-11 07:28 (UTC)

Dependencies (9)

Required by (0)

Sources (1)

Latest Comments

PythonShell commented on 2017-12-02 02:07 (UTC)

@derektbrown: package updated.

derektbrown commented on 2017-12-01 01:32 (UTC)

returns an error: make: *** No rule to make target 'libzip-download'. Stop.