ubuntu/+source/minisat2:ubuntu/noble-updates

Last commit made on 2024-02-22
Get this branch:
git clone -b ubuntu/noble-updates 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:
ubuntu/noble-updates
Repository:
lp:ubuntu/+source/minisat2

Recent commits

34ff38a... by Michael Tautschnig

1:2.2.1-7 (patches unapplied)

Imported using git-ubuntu import.

1a18eb5... by Michael Tautschnig

1:2.2.1-6 (patches unapplied)

Imported using git-ubuntu import.

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.