Ubuntu
cvc3 package

ubuntu/+source/cvc3:ubuntu/oneiric-devel

  1. Git
  2. lp:ubuntu/+source/cvc3
  3. ubuntu/oneiric-devel
Last commit made on 2011-03-17
Get this branch:
git clone -b ubuntu/oneiric-devel 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:
ubuntu/oneiric-devel
Repository:
lp:ubuntu/+source/cvc3

Recent commits

9ffc46e... by "Steve M. Robbins" <email address hidden>

2.2-13.1 (patches unapplied)

Imported using git-ubuntu import.

3edc340... by Chris Conway

2.2-13 (patches unapplied)

Imported using git-ubuntu import.

7274708... by Chris Conway

2.2-11 (patches unapplied)

Imported using git-ubuntu import.

490d98e... by Chris Conway

2.2-7 (patches unapplied)

Imported using git-ubuntu import.

c9fa117... by Chris Conway

2.2-4 (patches unapplied)

Imported using git-ubuntu import.