ubuntu/+source/cvc3:ubuntu/devel

Last commit made on 2019-09-14
Get this branch:
git clone -b ubuntu/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/devel
Repository:
lp:ubuntu/+source/cvc3

Recent commits

a14d08d... by Graham Inggs

2.4.1-5.2ubuntu1 (patches unapplied)

Imported using git-ubuntu import.

a1c4f28... by Emmanuel Bourg

2.4.1-5.2 (patches unapplied)

Imported using git-ubuntu import.

20f048c... by Adrian Bunk

2.4.1-5.1 (patches unapplied)

Imported using git-ubuntu import.

66675d9... by Morgan Deters

2.4.1-5 (patches unapplied)

Imported using git-ubuntu import.

795bb3f... by Chris Conway

2.4.1-4 (patches unapplied)

Imported using git-ubuntu import.

292df4c... by Chris Conway

2.4.1-3 (patches unapplied)

Imported using git-ubuntu import.

fe26511... by Chris Conway

2.4.1-2 (patches unapplied)

Imported using git-ubuntu import.

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.