ubuntu/+source/sat4j:ubuntu/vivid-devel

Last commit made on 2014-06-28
Get this branch:
git clone -b ubuntu/vivid-devel https://git.launchpad.net/ubuntu/+source/sat4j
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/vivid-devel
Repository:
lp:ubuntu/+source/sat4j

Recent commits

4c0cf61... by Michael Tautschnig

2.3.3-1 (patches unapplied)

Imported using git-ubuntu import.

f02d7f4... by Michael Tautschnig

2.3.2-1 (patches unapplied)

Imported using git-ubuntu import.

cbccb4d... by Michael Tautschnig

2.3.1-1 (patches unapplied)

Imported using git-ubuntu import.

6ba6a64... by Michael Tautschnig

2.3.0-3 (patches unapplied)

Imported using git-ubuntu import.

3be946c... by Michael Tautschnig

2.3.0-2 (patches unapplied)

Imported using git-ubuntu import.

ac1dd5d... by Michael Tautschnig

2.3.0-1 (patches unapplied)

Imported using git-ubuntu import.

5f1cfaf... by Michael Tautschnig

2.2.3-1 (patches unapplied)

Imported using git-ubuntu import.

8638761... by Michael Tautschnig

2.2.0-3 (patches unapplied)

Imported using git-ubuntu import.

0766107... by Michael Tautschnig

2.2.0-2 (patches unapplied)

Imported using git-ubuntu import.

5dccfd2... by Michael Tautschnig

2.2.0-1 (patches unapplied)

Imported using git-ubuntu import.