Ubuntu
agda package

ubuntu/+source/agda:applied/ubuntu/yakkety-proposed

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

Branch merges

Branch information

Name:
applied/ubuntu/yakkety-proposed
Repository:
lp:ubuntu/+source/agda

Recent commits

682ec46... by Gianfranco Costamagna

2.5.1-2build2 (patches applied)

Imported using git-ubuntu import.

70953ec... by Gianfranco Costamagna

Add elpa metadata file

Gbp-Pq: add-elpa-pkg-el-file.patch.

8017495... by Gianfranco Costamagna

2.5.1-2build2 (patches unapplied)

Imported using git-ubuntu import.

88fda08... by Steve Langasek

2.5.1-2build1 (patches applied)

Imported using git-ubuntu import.

15cc9f3... by Steve Langasek

2.5.1-2build1 (patches unapplied)

Imported using git-ubuntu import.

da13018... by Steve Langasek

Add elpa metadata file

Gbp-Pq: add-elpa-pkg-el-file.patch.

571bf06... by Sean Whitton

2.5.1-2 (patches applied)

Imported using git-ubuntu import.

90e1ad1... by Sean Whitton

2.5.1-2 (patches unapplied)

Imported using git-ubuntu import.

d3540ae... by Sean Whitton

Add elpa metadata file

Gbp-Pq: add-elpa-pkg-el-file.patch.

c5f3bc2... by Sean Whitton

2.5.1-1 (patches applied)

Imported using git-ubuntu import.