Index of /pool/universe/a/agda/

NameLast ModifiedSize
UpParent Directory
Fileagda-bin_2.3.2.2-1_amd64.deb2013-11-06 17:28 5348k
Fileagda-bin_2.3.2.2-1_i386.deb2013-11-06 17:28 4976k
Fileagda-bin_2.4.2.5-1build1_amd64.deb2016-01-12 22:59 4692k
Fileagda-bin_2.4.2.5-1build1_i386.deb2016-01-12 22:45 4672k
Fileagda-bin_2.5.3-3build1_amd64.deb2017-11-25 20:09 5594k
Fileagda-bin_2.5.3-3build1_i386.deb2017-11-25 20:09 5602k
Fileagda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 13:19 6418k
Fileagda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 08:28 9318k
Fileagda-bin_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:59 8150k
Fileagda-bin_2.6.3-1build1_amd64.deb2023-11-10 20:19 10729k
Fileagda-bin_2.6.3-2_amd64.deb2024-09-07 06:18 10679k
Fileagda-bin_2.6.4.3-1_amd64.deb2024-10-25 21:15 10294k
Fileagda-mode_2.3.2.2-1_all.deb2013-11-06 17:28 47k
Fileagda-mode_2.4.2.5-1build1_all.deb2016-01-12 22:59 37k
Fileagda-mode_2.5.3-3build1_all.deb2017-11-25 20:09 4k
Fileagda-mode_2.6.0.1-1build4_all.deb2020-02-08 13:19 4k
[CMP]agda_2.3.2.2-1.debian.tar.gz2013-11-06 17:28 8k
Fileagda_2.3.2.2-1.dsc2013-11-06 17:28 4k
Fileagda_2.3.2.2-1_all.deb2013-11-06 17:28 3k
[CMP]agda_2.3.2.2.orig.tar.gz2013-11-06 17:28 1988k
Fileagda_2.4.2.5-1build1.debian.tar.xz2016-01-12 22:30 8k
Fileagda_2.4.2.5-1build1.dsc2016-01-12 22:30 4k
Fileagda_2.4.2.5-1build1_all.deb2016-01-12 22:59 3k
[CMP]agda_2.4.2.5.orig.tar.gz2016-01-04 23:25 1008k
Fileagda_2.5.3-3build1.debian.tar.xz2017-11-25 19:15 10k
Fileagda_2.5.3-3build1.dsc2017-11-25 19:15 5k
Fileagda_2.5.3-3build1_all.deb2017-11-25 20:09 3k
[CMP]agda_2.5.3.orig.tar.gz2017-11-01 13:05 1174k
Fileagda_2.6.0.1-1build4.debian.tar.xz2020-02-08 11:38 10k
Fileagda_2.6.0.1-1build4.dsc2020-02-08 11:38 5k
Fileagda_2.6.0.1-1build4_all.deb2020-02-08 13:19 4k
[CMP]agda_2.6.0.1.orig.tar.gz2019-09-01 12:43 2317k
Fileagda_2.6.1-1build2.1.debian.tar.xz2021-09-16 07:39 10k
Fileagda_2.6.1-1build2.1.dsc2021-09-16 07:39 5k
Fileagda_2.6.1-1build2.1_all.deb2021-09-16 08:28 5k
[CMP]agda_2.6.1.orig.tar.gz2020-07-29 23:19 2585k
Fileagda_2.6.2.2-1.1build1.debian.tar.xz2022-12-12 10:29 11k
Fileagda_2.6.2.2-1.1build1.dsc2022-12-12 10:29 5k
Fileagda_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 4k
[CMP]agda_2.6.2.2.orig.tar.gz2022-08-06 23:19 1652k
Fileagda_2.6.3-1build1.debian.tar.xz2023-11-08 09:36 12k
Fileagda_2.6.3-1build1.dsc2023-11-08 09:36 5k
Fileagda_2.6.3-1build1_all.deb2023-11-10 20:19 4k
Fileagda_2.6.3-2.debian.tar.xz2024-09-07 06:18 12k
Fileagda_2.6.3-2.dsc2024-09-07 06:18 5k
Fileagda_2.6.3-2_all.deb2024-09-07 06:18 4k
[CMP]agda_2.6.3.orig.tar.gz2023-10-26 15:43 1753k
Fileagda_2.6.4.3-1.debian.tar.xz2024-10-25 19:11 11k
Fileagda_2.6.4.3-1.dsc2024-10-25 19:11 6k
Fileagda_2.6.4.3-1_all.deb2024-10-25 21:15 4k
[CMP]agda_2.6.4.3.orig.tar.gz2024-10-25 19:11 1826k
Fileelpa-agda2-mode_2.5.3-3build1_all.deb2017-11-25 20:09 40k
Fileelpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 13:19 41k
Fileelpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 08:28 46k
Fileelpa-agda2-mode_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 45k
Fileelpa-agda2-mode_2.6.3-1build1_all.deb2023-11-10 20:19 46k
Fileelpa-agda2-mode_2.6.3-2_all.deb2024-09-07 06:18 46k
Fileelpa-agda2-mode_2.6.4.3-1_all.deb2024-10-25 21:15 46k
Filelibghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 17:28 13269k
Filelibghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 17:28 12605k
Filelibghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-01-12 22:59 10421k
Filelibghc-agda-dev_2.4.2.5-1build1_i386.deb2016-01-12 22:45 10292k
Filelibghc-agda-dev_2.5.3-3build1_amd64.deb2017-11-25 20:09 15503k
Filelibghc-agda-dev_2.5.3-3build1_i386.deb2017-11-25 20:09 15223k
Filelibghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 13:19 19221k
Filelibghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 08:28 39313k
Filelibghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:59 26100k
Filelibghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-10 20:19 24888k
Filelibghc-agda-dev_2.6.3-2_amd64.deb2024-09-07 06:18 24607k
Filelibghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-25 21:15 23600k
Filelibghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 17:28 2136k
Filelibghc-agda-doc_2.4.2.5-1build1_all.deb2016-01-12 22:59 2134k
Filelibghc-agda-doc_2.5.3-3build1_all.deb2017-11-25 20:09 2688k
Filelibghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 13:19 4109k
Filelibghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 08:28 5277k
Filelibghc-agda-doc_2.6.2.2-1.1build1_all.deb2022-12-12 10:59 5852k
Filelibghc-agda-doc_2.6.3-1build1_all.deb2023-11-10 20:19 6142k
Filelibghc-agda-doc_2.6.3-2_all.deb2024-09-07 06:18 6081k
Filelibghc-agda-doc_2.6.4.3-1_all.deb2024-10-25 21:15 6534k
Pars.Host