Ubuntu
cvc3 package

ubuntu/+source/cvc3:applied/debian/wheezy

  1. Git
  2. lp:ubuntu/+source/cvc3
  3. applied/debian/wheezy
Last commit made on 2012-08-18
Get this branch:
git clone -b applied/debian/wheezy 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/debian/wheezy
Repository:
lp:ubuntu/+source/cvc3

Recent commits

673f30b... by Chris Conway

2.4.1-4 (patches applied)

Imported using git-ubuntu import.

edd1223... by Chris Conway

Disables dump-log commands in tests.

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

795bb3f... by Chris Conway

2.4.1-4 (patches unapplied)

Imported using git-ubuntu import.

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.

fe26511... by Chris Conway

2.4.1-2 (patches unapplied)

Imported using git-ubuntu import.

a727376... by Chris Conway

<short summary of the patch>

Gbp-Pq: debian-changes-2.4.1-2.

183b300... by "Steve M. Robbins" <email address hidden>

2.2-13.1 (patches applied)

Imported using git-ubuntu import.