Ubuntu
cvc3 package

ubuntu/+source/cvc3:applied/ubuntu/vivid

  1. Git
  2. lp:ubuntu/+source/cvc3
  3. applied/ubuntu/vivid
Last commit made on 2014-09-28
Get this branch:
git clone -b applied/ubuntu/vivid https://git.launchpad.net/ubuntu/+source/cvc3
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/vivid
Repository:
lp:ubuntu/+source/cvc3

Recent commits

3fb268a... by Morgan Deters

2.4.1-5 (patches applied)

Imported using git-ubuntu import.

7575dd9... by Morgan Deters

Disables dump-log commands in tests.

Gbp-Pq: disable-log-dumps-in-tests.patch.

66675d9... by Morgan Deters

2.4.1-5 (patches unapplied)

Imported using git-ubuntu import.

673f30b... by Chris Conway

2.4.1-4 (patches applied)

Imported using git-ubuntu import.

795bb3f... by Chris Conway

2.4.1-4 (patches unapplied)

Imported using git-ubuntu import.

edd1223... by Chris Conway

Disables dump-log commands in tests.

Gbp-Pq: disable-log-dumps-in-tests.patch.

6943862... by Chris Conway

2.4.1-3 (patches applied)

Imported using git-ubuntu import.

292df4c... by Chris Conway

2.4.1-3 (patches unapplied)

Imported using git-ubuntu import.

ebd64cd... by Chris Conway

Disables dump-log commands in tests.

Gbp-Pq: disable-log-dumps-in-tests.patch.

7f5cf34... by Chris Conway

2.4.1-2 (patches applied)

Imported using git-ubuntu import.