Ubuntu
agda package

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

  1. Git
  2. lp:ubuntu/+source/agda
  3. applied/ubuntu/disco-proposed
Last commit made on 2018-10-21
Get this branch:
git clone -b applied/ubuntu/disco-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/disco-proposed
Repository:
lp:ubuntu/+source/agda

Recent commits

ec46bfb... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-3 (patches applied)

Imported using git-ubuntu import.

fdf9b91... by Ilias Tsitsimpis <email address hidden>

var-lib-agda

No DEP3 Subject or Description header found

Gbp-Pq: var-lib-agda.

43f597e... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-3 (patches unapplied)

Imported using git-ubuntu import.

229ed2e... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-2 (patches applied)

Imported using git-ubuntu import.

b87ef5c... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-2 (patches unapplied)

Imported using git-ubuntu import.

228aac0... by Ilias Tsitsimpis <email address hidden>

var-lib-agda

No DEP3 Subject or Description header found

Gbp-Pq: var-lib-agda.

ddedb08... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-1 (patches applied)

Imported using git-ubuntu import.

c5fdcfc... by Ilias Tsitsimpis <email address hidden>

2.5.4.1-1 (patches unapplied)

Imported using git-ubuntu import.

21e80a1... by Ilias Tsitsimpis <email address hidden>

var-lib-agda

No DEP3 Subject or Description header found

Gbp-Pq: var-lib-agda.

903e769... by Clint Adams

2.5.3-5 (patches applied)

Imported using git-ubuntu import.