Ubuntu
agda package

ubuntu/+source/agda:applied/ubuntu/artful-devel

  1. Git
  2. lp:ubuntu/+source/agda
  3. applied/ubuntu/artful-devel
Last commit made on 2017-07-15
Get this branch:
git clone -b applied/ubuntu/artful-devel 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/artful-devel
Repository:
lp:ubuntu/+source/agda

Recent commits

9f6020f... by Gianfranco Costamagna

2.5.2-2build1 (patches applied)

Imported using git-ubuntu import.

1a3b184... by Gianfranco Costamagna

bump-ieee754-bounds.patch

No DEP3 Subject or Description header found

Gbp-Pq: bump-ieee754-bounds.patch.

d737fd5... by Gianfranco Costamagna

2.5.2-2build1 (patches unapplied)

Imported using git-ubuntu import.

a5cc608... by Gianfranco Costamagna

2.5.2-2 (patches applied)

Imported using git-ubuntu import.

3409773... by Gianfranco Costamagna

2.5.2-2 (patches unapplied)

Imported using git-ubuntu import.

d816a4c... by Gianfranco Costamagna

bump-ieee754-bounds.patch

No DEP3 Subject or Description header found

Gbp-Pq: bump-ieee754-bounds.patch.

834d6c5... by Gianfranco Costamagna

2.5.2-1 (patches applied)

Imported using git-ubuntu import.

64df7af... by Gianfranco Costamagna

2.5.2-1 (patches unapplied)

Imported using git-ubuntu import.

bd47506... by Gianfranco Costamagna

2.5.1.1-4 (patches applied)

Imported using git-ubuntu import.

0f9fe18... by Gianfranco Costamagna

2.5.1.1-4 (patches unapplied)

Imported using git-ubuntu import.