Ubuntu
minisat2 package

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

  1. Git
  2. lp:ubuntu/+source/minisat2
  3. applied/debian/sid
Last commit made on 2024-02-26
Get this branch:
git clone -b applied/debian/sid 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/sid
Repository:
lp:ubuntu/+source/minisat2

Recent commits

e947a26... by Michael Tautschnig

1:2.2.1-8 (patches applied)

Imported using git-ubuntu import.

b6b39dd... by Michael Tautschnig

Make sure all install dependencies are built by all

Gbp-Pq: fix-crossbuild.

8255b0c... by Michael Tautschnig

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

4aa46dc... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: memory_limit.

f07c2e3... by Michael Tautschnig

1:2.2.1-8 (patches unapplied)

Imported using git-ubuntu import.

1ccc018... by Michael Tautschnig

1:2.2.1-7 (patches applied)

Imported using git-ubuntu import.

34ff38a... by Michael Tautschnig

1:2.2.1-7 (patches unapplied)

Imported using git-ubuntu import.

11ee9e0... by Michael Tautschnig

Make sure all install dependencies are built by all

Gbp-Pq: fix-crossbuild.

a21bb4e... by Michael Tautschnig

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

09ecb11... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: memory_limit.