Ubuntu
picosat package

ubuntu/+source/picosat:ubuntu/jammy

  1. Git
  2. lp:ubuntu/+source/picosat
  3. ubuntu/jammy
Last commit made on 2021-02-21
Get this branch:
git clone -b ubuntu/jammy https://git.launchpad.net/ubuntu/+source/picosat
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/jammy
Repository:
lp:ubuntu/+source/picosat

Recent commits

19c825e... by Nilesh Patra <email address hidden>

965-2 (patches unapplied)

Imported using git-ubuntu import.

344a878... by Andreas Tille

965-1 (patches unapplied)

Imported using git-ubuntu import.

0adf550... by Michael Tautschnig

960-1 (patches unapplied)

Imported using git-ubuntu import.

1704026... by Michael Tautschnig

959-1 (patches unapplied)

Imported using git-ubuntu import.

3919c6c... by Michael Tautschnig

954-1 (patches unapplied)

Imported using git-ubuntu import.

d3cd4fe... by Michael Tautschnig

953-2 (patches unapplied)

Imported using git-ubuntu import.

1d50967... by Michael Tautschnig

953-1 (patches unapplied)

Imported using git-ubuntu import.

75e007e... by Michael Tautschnig

936-4 (patches unapplied)

Imported using git-ubuntu import.

64bdd7d... by Michael Tautschnig

936-3 (patches unapplied)

Imported using git-ubuntu import.

d834b62... by Michael Tautschnig

936-2 (patches unapplied)

Imported using git-ubuntu import.