ubuntu/+source/minisat2:debian/bullseye

Last commit made on 2014-07-30
Get this branch:
git clone -b debian/bullseye https://git.launchpad.net/ubuntu/+source/minisat2
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
debian/bullseye
Repository:
lp:ubuntu/+source/minisat2

Recent commits

32c41c3... by Michael Tautschnig

1:2.2.1-5 (patches unapplied)

Imported using git-ubuntu import.

cb43b44... by Michael Tautschnig

1:2.2.1-4 (patches unapplied)

Imported using git-ubuntu import.

828eee3... by Michael Tautschnig

1:2.2.1-3 (patches unapplied)

Imported using git-ubuntu import.

66b22e5... by Michael Tautschnig

1:2.2.1-2 (patches unapplied)

Imported using git-ubuntu import.

1dc584d... by Michael Tautschnig

1:2.2.1-1 (patches unapplied)

Imported using git-ubuntu import.

8073c88... by Michael Tautschnig

1:2.2.0-3 (patches unapplied)

Imported using git-ubuntu import.

78cda9d... by Michael Tautschnig

1:2.2.0-2 (patches unapplied)

Imported using git-ubuntu import.

1f25df9... by Michael Tautschnig

1:2.2.0-1 (patches unapplied)

Imported using git-ubuntu import.

486f3c4... by Michael Tautschnig

070721-8 (patches unapplied)

Imported using git-ubuntu import.

d69c7cd... by Michael Tautschnig

070721-6 (patches unapplied)

Imported using git-ubuntu import.