ubuntu/+source/minisat2:applied/debian/bullseye

Last commit made on 2014-07-30
Get this branch:
git clone -b applied/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:
applied/debian/bullseye
Repository:
lp:ubuntu/+source/minisat2

Recent commits

35ccef5... by Michael Tautschnig

1:2.2.1-5 (patches applied)

Imported using git-ubuntu import.

1623ea0... by Michael Tautschnig

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

d9cda23... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: memory_limit.

32c41c3... by Michael Tautschnig

1:2.2.1-5 (patches unapplied)

Imported using git-ubuntu import.

b06e3f2... by Michael Tautschnig

1:2.2.1-4 (patches applied)

Imported using git-ubuntu import.

cb43b44... by Michael Tautschnig

1:2.2.1-4 (patches unapplied)

Imported using git-ubuntu import.

6461183... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: memory_limit.

4e4ae1b... by Michael Tautschnig

1:2.2.1-3 (patches applied)

Imported using git-ubuntu import.

828eee3... by Michael Tautschnig

1:2.2.1-3 (patches unapplied)

Imported using git-ubuntu import.

da6f197... by Michael Tautschnig

1:2.2.1-2 (patches applied)

Imported using git-ubuntu import.