Ubuntu
cvc3 package

ubuntu/+source/cvc3:applied/ubuntu/precise

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

Recent commits

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

2.2-13.1 (patches applied)

Imported using git-ubuntu import.

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

2.2-13.1 (patches unapplied)

Imported using git-ubuntu import.

9130a1f... by Chris Conway

2.2-13 (patches applied)

Imported using git-ubuntu import.

3edc340... by Chris Conway

2.2-13 (patches unapplied)

Imported using git-ubuntu import.

5c8f653... by Chris Conway

2.2-11 (patches applied)

Imported using git-ubuntu import.

7274708... by Chris Conway

2.2-11 (patches unapplied)

Imported using git-ubuntu import.

ce34e46... by Chris Conway

2.2-7 (patches applied)

Imported using git-ubuntu import.

490d98e... by Chris Conway

2.2-7 (patches unapplied)

Imported using git-ubuntu import.

7907158... by Chris Conway

2.2-4 (patches applied)

Imported using git-ubuntu import.

c9fa117... by Chris Conway

2.2-4 (patches unapplied)

Imported using git-ubuntu import.