Git : Code : agda package : Ubuntu

Ubuntu
agda package

Overview
Code
Bugs
Blueprints
Translations
Answers

View Bazaar branches

Get this repository:: git clone https://git.not.enabled/ubuntu/+source/agda

Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name	Last Modified	Last Commit
importer/debian/dsc	2023-10-13 22:29:32 UTC 2023-10-13	DSC file for 2.6.3-1 Author: Ubuntu Git Importer Author Date: 2023-10-13 22:29:32 UTC DSC file for 2.6.3-1
applied/debian/sid	2023-10-13 22:26:36 UTC 2023-10-13	2.6.3-1 (patches applied) Author: Ilias Tsitsimpis Author Date: 2023-10-13 14:57:46 UTC 2.6.3-1 (patches applied) Imported using git-ubuntu import.
debian/sid	2023-10-13 22:26:36 UTC 2023-10-13	2.6.3-1 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2023-10-13 14:57:46 UTC 2.6.3-1 (patches unapplied) Imported using git-ubuntu import.
importer/ubuntu/dsc	2022-12-12 10:40:29 UTC 2022-12-12	DSC file for 2.6.2.2-1.1build1 Author: Ubuntu Git Importer Author Date: 2022-12-12 10:40:29 UTC DSC file for 2.6.2.2-1.1build1
ubuntu/mantic-devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lunar	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/mantic	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/lunar-proposed	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar-devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/mantic-devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/mantic	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lunar-proposed	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lunar-devel	2022-12-12 10:11:10 UTC 2022-12-12	2.6.2.2-1.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2022-12-12 09:50:08 UTC 2.6.2.2-1.1build1 (patches applied) Imported using git-ubuntu import.
debian/bookworm	2022-12-06 22:29:45 UTC 2022-12-06	2.6.2.2-1.1 (patches unapplied) Author: =?utf-8?q?Marcel_Fourn=C3=A9?= Author Date: 2022-12-06 15:57:40 UTC 2.6.2.2-1.1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bookworm	2022-12-06 22:29:45 UTC 2022-12-06	2.6.2.2-1.1 (patches applied) Author: =?utf-8?q?Marcel_Fourn=C3=A9?= Author Date: 2022-12-06 15:57:40 UTC 2.6.2.2-1.1 (patches applied) Imported using git-ubuntu import.
importer/ubuntu/pristine-tar	2022-08-23 09:31:30 UTC 2022-08-23	pristine-tar data for agda_2.6.2.2.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-08-23 09:31:30 UTC pristine-tar data for agda_2.6.2.2.orig.tar.gz
importer/debian/pristine-tar	2022-08-23 09:31:20 UTC 2022-08-23	pristine-tar data for agda_2.6.2.2.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-08-23 09:31:20 UTC pristine-tar data for agda_2.6.2.2.orig.tar.gz
applied/ubuntu/kinetic-proposed	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches applied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/kinetic-proposed	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/kinetic	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches applied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/kinetic-devel	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/kinetic	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel	2022-08-06 22:26:23 UTC 2022-08-06	2.6.2.2-1 (patches applied) Author: Ilias Tsitsimpis Author Date: 2022-08-06 13:14:08 UTC 2.6.2.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/impish-devel	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches unapplied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jammy-devel	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches unapplied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jammy	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches unapplied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/impish	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches applied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/impish-devel	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches applied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/impish-proposed	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches applied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jammy	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches applied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jammy-devel	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches applied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches applied) Imported using git-ubuntu import.
ubuntu/impish	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches unapplied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/impish-proposed	2021-09-16 07:07:09 UTC 2021-09-16	2.6.1-1build2.1 (patches unapplied) Author: Matthias Klose Author Date: 2021-09-11 05:00:45 UTC 2.6.1-1build2.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/hirsute	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-proposed	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches applied) Imported using git-ubuntu import.
ubuntu/hirsute-devel	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute-proposed	2020-10-29 20:19:08 UTC 2020-10-29	2.6.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2020-10-29 20:18:09 UTC 2.6.1-1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches unapplied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy-proposed	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches unapplied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy-devel	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches unapplied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/groovy-devel	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches applied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches applied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy	2020-08-27 00:03:09 UTC 2020-08-27	2.6.1-1build1 (patches applied) Author: Steve Langasek Author Date: 2020-08-27 00:02:00 UTC 2.6.1-1build1 (patches applied) Imported using git-ubuntu import.
debian/bullseye	2020-07-29 22:27:16 UTC 2020-07-29	2.6.1-1 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2020-07-29 15:34:44 UTC 2.6.1-1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bullseye	2020-07-29 22:27:16 UTC 2020-07-29	2.6.1-1 (patches applied) Author: Ilias Tsitsimpis Author Date: 2020-07-29 15:34:44 UTC 2.6.1-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal-devel	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches applied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches applied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches applied) Imported using git-ubuntu import.
ubuntu/focal-proposed	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches unapplied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal-devel	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches unapplied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches unapplied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/focal-proposed	2020-02-08 11:38:09 UTC 2020-02-08	2.6.0.1-1build4 (patches applied) Author: Matthias Klose Author Date: 2020-02-08 10:55:44 UTC 2.6.0.1-1build4 (patches applied) Imported using git-ubuntu import.
ubuntu/eoan-devel	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/eoan	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/eoan-proposed	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/eoan-devel	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/eoan	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches applied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches applied) Imported using git-ubuntu import.
ubuntu/eoan-proposed	2019-09-03 05:50:11 UTC 2019-09-03	2.6.0.1-1build2 (patches unapplied) Author: Steve Langasek Author Date: 2019-09-03 05:49:27 UTC 2.6.0.1-1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco-devel	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches unapplied) Imported using git-ubuntu import.
applied/debian/buster	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches applied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches applied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco-devel	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches applied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco-proposed	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches applied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches applied) Imported using git-ubuntu import.
debian/buster	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco-proposed	2018-10-21 04:27:37 UTC 2018-10-21	2.5.4.1-3 (patches unapplied) Author: Ilias Tsitsimpis Author Date: 2018-10-20 20:22:18 UTC 2.5.4.1-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/cosmic	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches applied) Imported using git-ubuntu import.
ubuntu/cosmic-proposed	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-proposed	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches applied) Imported using git-ubuntu import.
ubuntu/cosmic-devel	2018-07-05 07:47:14 UTC 2018-07-05	2.5.3-5build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2018-07-05 07:45:00 UTC 2.5.3-5build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/bionic-devel	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic-proposed	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches applied) Imported using git-ubuntu import.
ubuntu/bionic	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/bionic-devel	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/bionic-proposed	2017-11-25 19:01:10 UTC 2017-11-25	2.5.3-3build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-11-25 18:53:50 UTC 2.5.3-3build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/artful-proposed	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/artful-devel	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/artful	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/artful	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-devel	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-proposed	2017-07-15 08:37:11 UTC 2017-07-15	2.5.2-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-07-15 08:36:30 UTC 2.5.2-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-devel	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-proposed	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/zesty	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/zesty-devel	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches applied) Imported using git-ubuntu import.
applied/debian/stretch	2016-10-28 10:11:04 UTC 2016-10-28	2.5.1.1-3 (patches applied) Author: Clint Adams Author Date: 2016-10-27 22:32:12 UTC 2.5.1.1-3 (patches applied) Imported using git-ubuntu import.
debian/stretch	2016-10-28 10:11:04 UTC 2016-10-28	2.5.1.1-3 (patches unapplied) Author: Clint Adams Author Date: 2016-10-27 22:32:12 UTC 2.5.1.1-3 (patches unapplied) Imported using git-ubuntu import.
debian/experimental	2016-10-21 04:10:14 UTC 2016-10-21	2.5.1.1-2 (patches unapplied) Author: Clint Adams Author Date: 2016-10-20 14:23:45 UTC 2.5.1.1-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/experimental	2016-10-21 04:10:14 UTC 2016-10-21	2.5.1.1-2 (patches applied) Author: Clint Adams Author Date: 2016-10-20 14:23:45 UTC 2.5.1.1-2 (patches applied) Imported using git-ubuntu import.
ubuntu/yakkety-devel	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/yakkety	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches applied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/agda	2023-10-13

You can't create new repositories for agda in Ubuntu.