Ubuntu
picosat package

ubuntu/+source/picosat:applied/ubuntu/vivid

  1. Git
  2. lp:ubuntu/+source/picosat
  3. applied/ubuntu/vivid
Last commit made on 2014-11-08
Get this branch:
git clone -b applied/ubuntu/vivid 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:
applied/ubuntu/vivid
Repository:
lp:ubuntu/+source/picosat

Recent commits

046214d... by Michael Tautschnig

960-1 (patches applied)

Imported using git-ubuntu import.

a1521b8... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: debian-changes-953-1.

0adf550... by Michael Tautschnig

960-1 (patches unapplied)

Imported using git-ubuntu import.

10c75af... by Michael Tautschnig

959-1 (patches applied)

Imported using git-ubuntu import.

1704026... by Michael Tautschnig

959-1 (patches unapplied)

Imported using git-ubuntu import.

ff743a8... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: debian-changes-953-1.

e9877d9... by Michael Tautschnig

954-1 (patches applied)

Imported using git-ubuntu import.

3919c6c... by Michael Tautschnig

954-1 (patches unapplied)

Imported using git-ubuntu import.

0d3f0e2... by Michael Tautschnig

<short summary of the patch>

Gbp-Pq: debian-changes-953-1.

2923b97... by Michael Tautschnig

953-2 (patches applied)

Imported using git-ubuntu import.