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

Last commit made on 2016-11-05
Get this branch:
git clone -b ubuntu/zesty-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/zesty-devel
Repository:
lp:ubuntu/+source/sat4j

Recent commits

eef12c4... by Emmanuel Bourg

2.3.5-0.2 (patches unapplied)

Imported using git-ubuntu import.

16feaf3... by Markus Koschany <email address hidden>

2.3.5-0.1 (patches unapplied)

Imported using git-ubuntu import.

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.