Ubuntu
minisat2 package

ubuntu/+source/minisat2:applied/ubuntu/noble-proposed

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

Recent commits

ae2013d... by William Grant

1:2.2.1-8build1 (patches applied)

Imported using git-ubuntu import.

205d6fa... by William Grant

Make sure all install dependencies are built by all

Gbp-Pq: fix-crossbuild.

8bf7633... by William Grant

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

c0e3758... by William Grant

<short summary of the patch>

Gbp-Pq: memory_limit.

5c7f08a... by William Grant

1:2.2.1-8build1 (patches unapplied)

Imported using git-ubuntu import.

e947a26... by Michael Tautschnig

1:2.2.1-8 (patches applied)

Imported using git-ubuntu import.

f07c2e3... by Michael Tautschnig

1:2.2.1-8 (patches unapplied)

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.