Index of mirrors/ubuntu/pool/universe/a/agda
Name ▴ Size Last Modified
../ - -
agda-bin_2.3.2.2-1_amd64.deb 5.2 MB 2013-11-06 17:28
agda-bin_2.3.2.2-1_i386.deb 4.9 MB 2013-11-06 17:28
agda-bin_2.4.2.5-1build1_amd64.deb 4.6 MB 2016-01-12 22:59
agda-bin_2.4.2.5-1build1_i386.deb 4.6 MB 2016-01-12 22:45
agda-bin_2.5.3-3build1_amd64.deb 5.5 MB 2017-11-25 20:09
agda-bin_2.5.3-3build1_i386.deb 5.5 MB 2017-11-25 20:09
agda-bin_2.6.0.1-1build4_amd64.deb 6.3 MB 2020-02-08 13:19
agda-bin_2.6.1-1build2.1_amd64.deb 9.1 MB 2021-09-16 08:28
agda-bin_2.6.3-1build1_amd64.deb 10.5 MB 2023-11-10 20:19
agda-bin_2.6.4.3-1_amd64.deb 10.1 MB 2024-10-25 21:15
agda-bin_2.6.4.3-1_arm64.deb 10.6 MB 2024-10-25 21:15
agda-bin_2.8.0-2build1_amd64.deb 10.5 MB 2026-03-01 19:50
agda-bin_2.8.0-2build1_amd64v3.deb 10.5 MB 2026-03-01 19:51
agda-bin_2.8.0-2build1_arm64.deb 11.1 MB 2026-03-01 19:52
agda-mode_2.3.2.2-1_all.deb 47.0 KB 2013-11-06 17:28
agda-mode_2.4.2.5-1build1_all.deb 36.4 KB 2016-01-12 22:59
agda-mode_2.5.3-3build1_all.deb 3.5 KB 2017-11-25 20:09
agda-mode_2.6.0.1-1build4_all.deb 3.6 KB 2020-02-08 13:19
agda_2.3.2.2-1.debian.tar.gz 7.2 KB 2013-11-06 17:28
agda_2.3.2.2-1.dsc 3.2 KB 2013-11-06 17:28
agda_2.3.2.2-1_all.deb 2.9 KB 2013-11-06 17:28
agda_2.3.2.2.orig.tar.gz 1.9 MB 2013-11-06 17:28
agda_2.4.2.5-1build1.debian.tar.xz 7.7 KB 2016-01-12 22:30
agda_2.4.2.5-1build1.dsc 3.7 KB 2016-01-12 22:30
agda_2.4.2.5-1build1_all.deb 2.9 KB 2016-01-12 22:59
agda_2.4.2.5.orig.tar.gz 1007.3 KB 2016-01-04 23:25
agda_2.5.3-3build1.debian.tar.xz 9.6 KB 2017-11-25 19:15
agda_2.5.3-3build1.dsc 4.5 KB 2017-11-25 19:15
agda_2.5.3-3build1_all.deb 3.0 KB 2017-11-25 20:09
agda_2.5.3.orig.tar.gz 1.1 MB 2017-11-01 13:05
agda_2.6.0.1-1build4.debian.tar.xz 10.0 KB 2020-02-08 11:38
agda_2.6.0.1-1build4.dsc 4.2 KB 2020-02-08 11:38
agda_2.6.0.1-1build4_all.deb 4.0 KB 2020-02-08 13:19
agda_2.6.0.1.orig.tar.gz 2.3 MB 2019-09-01 12:43
agda_2.6.1-1build2.1.debian.tar.xz 10.0 KB 2021-09-16 07:39
agda_2.6.1-1build2.1.dsc 4.2 KB 2021-09-16 07:39
agda_2.6.1-1build2.1_all.deb 4.0 KB 2021-09-16 08:28
agda_2.6.1.orig.tar.gz 2.5 MB 2020-07-29 23:19
agda_2.6.3-1build1.debian.tar.xz 11.4 KB 2023-11-08 09:36
agda_2.6.3-1build1.dsc 4.8 KB 2023-11-08 09:36
agda_2.6.3-1build1_all.deb 3.7 KB 2023-11-10 20:19
agda_2.6.3.orig.tar.gz 1.7 MB 2023-10-26 15:43
agda_2.6.4.3-1.debian.tar.xz 10.2 KB 2024-10-25 19:11
agda_2.6.4.3-1.dsc 5.1 KB 2024-10-25 19:11
agda_2.6.4.3-1_all.deb 3.6 KB 2024-10-25 21:15
agda_2.6.4.3.orig.tar.gz 1.8 MB 2024-10-25 19:11
agda_2.8.0-2build1.debian.tar.xz 10.4 KB 2026-03-01 19:49
agda_2.8.0-2build1.dsc 5.8 KB 2026-03-01 19:49
agda_2.8.0-2build1_all.deb 2.8 KB 2026-03-01 19:50
agda_2.8.0.orig.tar.gz 1.9 MB 2026-02-15 06:16
elpa-agda2-mode_2.5.3-3build1_all.deb 39.9 KB 2017-11-25 20:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 40.2 KB 2020-02-08 13:19
elpa-agda2-mode_2.6.1-1build2.1_all.deb 45.1 KB 2021-09-16 08:28
elpa-agda2-mode_2.6.3-1build1_all.deb 45.2 KB 2023-11-10 20:19
elpa-agda2-mode_2.6.4.3-1_all.deb 45.2 KB 2024-10-25 21:15
elpa-agda2-mode_2.8.0-2build1_all.deb 46.6 KB 2026-03-01 19:50
libghc-agda-dev_2.3.2.2-1_amd64.deb 13.0 MB 2013-11-06 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 12.3 MB 2013-11-06 17:28
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 10.2 MB 2016-01-12 22:59
libghc-agda-dev_2.4.2.5-1build1_i386.deb 10.1 MB 2016-01-12 22:45
libghc-agda-dev_2.5.3-3build1_amd64.deb 15.1 MB 2017-11-25 20:09
libghc-agda-dev_2.5.3-3build1_i386.deb 14.9 MB 2017-11-25 20:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 18.8 MB 2020-02-08 13:19
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 38.4 MB 2021-09-16 08:28
libghc-agda-dev_2.6.3-1build1_amd64.deb 24.3 MB 2023-11-10 20:19
libghc-agda-dev_2.6.4.3-1_amd64.deb 23.0 MB 2024-10-25 21:15
libghc-agda-dev_2.6.4.3-1_arm64.deb 26.0 MB 2024-10-25 21:15
libghc-agda-dev_2.8.0-2build1_amd64.deb 37.4 MB 2026-03-01 19:50
libghc-agda-dev_2.8.0-2build1_amd64v3.deb 37.4 MB 2026-03-01 19:51
libghc-agda-dev_2.8.0-2build1_arm64.deb 41.5 MB 2026-03-01 19:52
libghc-agda-doc_2.3.2.2-1_all.deb 2.1 MB 2013-11-06 17:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 2.1 MB 2016-01-12 22:59
libghc-agda-doc_2.5.3-3build1_all.deb 2.6 MB 2017-11-25 20:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 4.0 MB 2020-02-08 13:19
libghc-agda-doc_2.6.1-1build2.1_all.deb 5.2 MB 2021-09-16 08:28
libghc-agda-doc_2.6.3-1build1_all.deb 6.0 MB 2023-11-10 20:19
libghc-agda-doc_2.6.4.3-1_all.deb 6.4 MB 2024-10-25 21:15
libghc-agda-doc_2.8.0-2build1_all.deb 6.5 MB 2026-03-01 19:50
78 items, 480.7 MB total