Ubuntu
minisat2 package

ubuntu/+source/minisat2:ubuntu/eoan

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

Recent commits

eea7028... by Balint Reczey

1:2.2.1-5build1 (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.

486f3c4... by Michael Tautschnig

070721-8 (patches unapplied)

Imported using git-ubuntu import.