Ubuntu
cbmc package

View Bazaar branches
Get this repository:
git clone https://git.not.enabled/ubuntu/+source/cbmc
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2023-08-09 17:23:42 UTC
DSC file for 5.89.0-2

Author: Ubuntu Git Importer
Author Date: 2023-08-09 17:23:42 UTC

DSC file for 5.89.0-2
importer/debian/dsc 2023-08-09 16:32:00 UTC
DSC file for 5.89.0-2

Author: Ubuntu Git Importer
Author Date: 2023-08-09 16:32:00 UTC

DSC file for 5.89.0-2
applied/debian/sid 2023-08-09 16:27:07 UTC
5.89.0-2 (patches applied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/devel 2023-08-09 16:27:07 UTC
5.89.0-2 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches unapplied)

Imported using git-ubuntu import.
debian/sid 2023-08-09 16:27:07 UTC
5.89.0-2 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-proposed 2023-08-09 16:27:07 UTC
5.89.0-2 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-proposed 2023-08-09 16:27:07 UTC
5.89.0-2 (patches applied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2023-08-09 16:27:07 UTC
5.89.0-2 (patches applied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2023-08-09 16:27:07 UTC
5.89.0-2 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2023-08-09 16:27:07 UTC
5.89.0-2 (patches applied)

Author: Michael Tautschnig
Author Date: 2023-08-09 07:36:16 UTC

5.89.0-2 (patches applied)

Imported using git-ubuntu import.
importer/ubuntu/pristine-tar 2022-08-23 13:00:49 UTC
pristine-tar data for cbmc_5.12.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-23 13:00:49 UTC

pristine-tar data for cbmc_5.12.orig.tar.gz
importer/debian/pristine-tar 2022-08-23 12:58:43 UTC
pristine-tar data for cbmc_5.12.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-23 12:58:43 UTC

pristine-tar data for cbmc_5.12.orig.tar.gz
ubuntu/hirsute 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
debian/bullseye 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
ubuntu/mantic 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/bullseye 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy-proposed 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy 2020-05-04 22:27:54 UTC
5.12-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-devel 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute 2020-05-04 22:27:54 UTC
5.12-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2020-05-04 12:06:54 UTC

5.12-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-devel 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches applied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-proposed 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches applied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches unapplied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/focal 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches applied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal-proposed 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches unapplied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-devel 2020-04-14 08:58:05 UTC
5.10-5ubuntu1 (patches unapplied)

Author: Graham Inggs
Author Date: 2020-04-14 07:35:50 UTC

5.10-5ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/disco 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco-devel 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco-proposed 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-devel 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
applied/debian/buster 2018-10-18 04:27:45 UTC
5.10-5 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches applied)

Imported using git-ubuntu import.
ubuntu/eoan-devel 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-proposed 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-devel 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
debian/buster 2018-10-18 04:27:45 UTC
5.10-5 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-10-17 18:55:17 UTC

5.10-5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic 2018-07-06 04:28:52 UTC
5.9-6 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel 2018-07-06 04:28:52 UTC
5.9-6 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches applied)

Imported using git-ubuntu import.
ubuntu/cosmic-proposed 2018-07-06 04:28:52 UTC
5.9-6 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic-devel 2018-07-06 04:28:52 UTC
5.9-6 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic 2018-07-06 04:28:52 UTC
5.9-6 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-proposed 2018-07-06 04:28:52 UTC
5.9-6 (patches applied)

Author: Michael Tautschnig
Author Date: 2018-07-05 21:36:05 UTC

5.9-6 (patches applied)

Imported using git-ubuntu import.
ubuntu/zesty-proposed 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/stretch 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/bionic 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed 2016-12-04 16:11:32 UTC
5.6-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches applied)

Imported using git-ubuntu import.
debian/stretch 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/artful 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/artful-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty-devel 2016-12-04 16:11:32 UTC
5.6-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-12-04 09:18:48 UTC

5.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety-proposed 2016-07-14 22:12:28 UTC
5.4-3 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety 2016-07-14 22:12:28 UTC
5.4-3 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel 2016-07-14 22:12:28 UTC
5.4-3 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-devel 2016-07-14 22:12:28 UTC
5.4-3 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed 2016-07-14 22:12:28 UTC
5.4-3 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety 2016-07-14 22:12:28 UTC
5.4-3 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-07-14 08:45:43 UTC

5.4-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/xenial-devel 2016-01-21 04:14:18 UTC
5.3-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-devel 2016-01-21 04:14:18 UTC
5.3-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial 2016-01-21 04:14:18 UTC
5.3-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed 2016-01-21 04:14:18 UTC
5.3-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/xenial-proposed 2016-01-21 04:14:18 UTC
5.3-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/xenial 2016-01-21 04:14:18 UTC
5.3-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2016-01-20 04:03:52 UTC

5.3-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/wily-proposed 2015-05-11 04:11:20 UTC
5.1-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/wily 2015-05-11 04:11:20 UTC
5.1-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/wily-devel 2015-05-11 04:11:20 UTC
5.1-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/wily 2015-05-11 04:11:20 UTC
5.1-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily-devel 2015-05-11 04:11:20 UTC
5.1-1 (patches applied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/wily-proposed 2015-05-11 04:11:20 UTC
5.1-1 (patches unapplied)

Author: Michael Tautschnig
Author Date: 2015-05-10 23:39:01 UTC

5.1-1 (patches unapplied)

Imported using git-ubuntu import.
1 → 100 of 142 results First • Previous • • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/cbmc 2023-08-09
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for cbmc in Ubuntu.