Ubuntu
cbmc package

ubuntu/+source/cbmc:ubuntu/zesty

  1. Git
  2. lp:ubuntu/+source/cbmc
  3. ubuntu/zesty
Last commit made on 2016-12-04
Get this branch:
git clone -b ubuntu/zesty https://git.launchpad.net/ubuntu/+source/cbmc
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/zesty
Repository:
lp:ubuntu/+source/cbmc

Recent commits

5a3c0dd... by Michael Tautschnig

5.6-1 (patches unapplied)

Imported using git-ubuntu import.

26329c1... by Michael Tautschnig

5.5-1 (patches unapplied)

Imported using git-ubuntu import.

cfac8df... by Michael Tautschnig

5.4-3 (patches unapplied)

Imported using git-ubuntu import.

0e3aa3c... by Michael Tautschnig

5.4-2 (patches unapplied)

Imported using git-ubuntu import.

bed045d... by Michael Tautschnig

5.4-1 (patches unapplied)

Imported using git-ubuntu import.

64faed8... by Michael Tautschnig

5.3-1 (patches unapplied)

Imported using git-ubuntu import.

36324c8... by Michael Tautschnig

5.2-1 (patches unapplied)

Imported using git-ubuntu import.

6b5ad18... by Michael Tautschnig

5.1-1 (patches unapplied)

Imported using git-ubuntu import.

420b405... by Michael Tautschnig

5.0-3 (patches unapplied)

Imported using git-ubuntu import.

0de459e... by Michael Tautschnig

5.0-2 (patches unapplied)

Imported using git-ubuntu import.