Ubuntu
cvc3 package

ubuntu/+source/cvc3:applied/ubuntu/trusty-proposed

  1. Git
  2. lp:ubuntu/+source/cvc3
  3. applied/ubuntu/trusty-proposed
Last commit made on 2014-02-04
Get this branch:
git clone -b applied/ubuntu/trusty-proposed 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/trusty-proposed
Repository:
lp:ubuntu/+source/cvc3

Recent commits

6adac53... by Daniel T Chen

2.4.1-4ubuntu1 (patches applied)

Imported using git-ubuntu import.

f60e310... by Daniel T Chen

Disables dump-log commands in tests.

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

e983588... by Daniel T Chen

2.4.1-4ubuntu1 (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.