Ubuntu
minisat2 package

ubuntu/+source/minisat2:applied/ubuntu/mantic-devel

  1. Git
  2. lp:ubuntu/+source/minisat2
  3. applied/ubuntu/mantic-devel
Last commit made on 2020-03-22
Get this branch:
git clone -b applied/ubuntu/mantic-devel 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/mantic-devel
Repository:
lp:ubuntu/+source/minisat2

Recent commits

f3b5698... by Matthias Klose

1:2.2.1-5build2 (patches applied)

Imported using git-ubuntu import.

e5f7b68... by Matthias Klose

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

70ca1c3... by Matthias Klose

<short summary of the patch>

Gbp-Pq: memory_limit.

0bc0438... by Matthias Klose

1:2.2.1-5build2 (patches unapplied)

Imported using git-ubuntu import.

d4f16f6... by Balint Reczey

1:2.2.1-5build1 (patches applied)

Imported using git-ubuntu import.

eea7028... by Balint Reczey

1:2.2.1-5build1 (patches unapplied)

Imported using git-ubuntu import.

768b613... by Balint Reczey

Fix C++ syntax to ensure build using Clang works

Gbp-Pq: clang_build.

40ffaf7... by Balint Reczey

<short summary of the patch>

Gbp-Pq: memory_limit.

35ccef5... by Michael Tautschnig

1:2.2.1-5 (patches applied)

Imported using git-ubuntu import.

32c41c3... by Michael Tautschnig

1:2.2.1-5 (patches unapplied)

Imported using git-ubuntu import.