Ubuntu
why package

ubuntu/+source/why:applied/ubuntu/yakkety-devel

  1. Git
  2. lp:ubuntu/+source/why
  3. applied/ubuntu/yakkety-devel
Last commit made on 2016-07-10
Get this branch:
git clone -b applied/ubuntu/yakkety-devel https://git.launchpad.net/ubuntu/+source/why
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/yakkety-devel
Repository:
lp:ubuntu/+source/why

Recent commits

df24ca1... by Steve Langasek

2.34-4ubuntu5 (patches applied)

Imported using git-ubuntu import.

c689f24... by Steve Langasek

edge

No DEP3 Subject or Description header found

Gbp-Pq: edge.

ea3d349... by Steve Langasek

makefile

No DEP3 Subject or Description header found

Gbp-Pq: makefile.

c97f70c... by Steve Langasek

Stop using deprecated function Format.bprintf

Gbp-Pq: bprintf.

443a87c... by Steve Langasek

update accepted versions of external provers

Gbp-Pq: atp-versions.

3563962... by Steve Langasek

2.34-4ubuntu5 (patches unapplied)

Imported using git-ubuntu import.

c3ca238... by Matthias Klose

2.34-4ubuntu4 (patches applied)

Imported using git-ubuntu import.

71f78ce... by Matthias Klose

2.34-4ubuntu4 (patches unapplied)

Imported using git-ubuntu import.

42db7ec... by Matthias Klose

edge

No DEP3 Subject or Description header found

Gbp-Pq: edge.

0613ba5... by Matthias Klose

makefile

No DEP3 Subject or Description header found

Gbp-Pq: makefile.