Index of /ubuntu/pool/universe/a/agda/

NameLast ModifiedSize
UpParent Directory
Fileagda-bin_2.3.2.2-1_amd64.deb06-11-2013 17:28 5348k
Fileagda-bin_2.3.2.2-1_i386.deb06-11-2013 17:28 4976k
Fileagda-bin_2.4.2.5-1build1_amd64.deb12-01-2016 22:59 4692k
Fileagda-bin_2.4.2.5-1build1_i386.deb12-01-2016 22:45 4672k
Fileagda-bin_2.5.3-3build1_amd64.deb25-11-2017 20:09 5596k
Fileagda-bin_2.5.3-3build1_i386.deb25-11-2017 20:09 5604k
Fileagda-bin_2.6.0.1-1build4_amd64.deb08-02-2020 13:19 6420k
Fileagda-bin_2.6.1-1build2.1_amd64.deb16-09-2021 08:28 9320k
Fileagda-bin_2.6.2.2-1.1build1_amd64.deb12-12-2022 10:59 8152k
Fileagda-bin_2.6.3-1build1_amd64.deb10-11-2023 20:19 10732k
Fileagda-mode_2.3.2.2-1_all.deb06-11-2013 17:28 48k
Fileagda-mode_2.4.2.5-1build1_all.deb12-01-2016 22:59 40k
Fileagda-mode_2.5.3-3build1_all.deb25-11-2017 20:09 4k
Fileagda-mode_2.6.0.1-1build4_all.deb08-02-2020 13:19 4k
[CMP]agda_2.3.2.2-1.debian.tar.gz06-11-2013 17:28 8k
Fileagda_2.3.2.2-1.dsc06-11-2013 17:28 4k
Fileagda_2.3.2.2-1_all.deb06-11-2013 17:28 4k
[CMP]agda_2.3.2.2.orig.tar.gz06-11-2013 17:28 1988k
Fileagda_2.4.2.5-1build1.debian.tar.xz12-01-2016 22:30 8k
Fileagda_2.4.2.5-1build1.dsc12-01-2016 22:30 4k
Fileagda_2.4.2.5-1build1_all.deb12-01-2016 22:59 4k
[CMP]agda_2.4.2.5.orig.tar.gz04-01-2016 23:25 1008k
Fileagda_2.5.3-3build1.debian.tar.xz25-11-2017 19:15 12k
Fileagda_2.5.3-3build1.dsc25-11-2017 19:15 8k
Fileagda_2.5.3-3build1_all.deb25-11-2017 20:09 4k
[CMP]agda_2.5.3.orig.tar.gz01-11-2017 13:05 1176k
Fileagda_2.6.0.1-1build4.debian.tar.xz08-02-2020 11:38 12k
Fileagda_2.6.0.1-1build4.dsc08-02-2020 11:38 8k
Fileagda_2.6.0.1-1build4_all.deb08-02-2020 13:19 4k
[CMP]agda_2.6.0.1.orig.tar.gz01-09-2019 12:43 2320k
Fileagda_2.6.1-1build2.1.debian.tar.xz16-09-2021 07:39 12k
Fileagda_2.6.1-1build2.1.dsc16-09-2021 07:39 8k
Fileagda_2.6.1-1build2.1_all.deb16-09-2021 08:28 8k
[CMP]agda_2.6.1.orig.tar.gz29-07-2020 23:19 2588k
Fileagda_2.6.2.2-1.1build1.debian.tar.xz12-12-2022 10:29 12k
Fileagda_2.6.2.2-1.1build1.dsc12-12-2022 10:29 8k
Fileagda_2.6.2.2-1.1build1_all.deb12-12-2022 10:59 4k
[CMP]agda_2.6.2.2.orig.tar.gz06-08-2022 23:19 1652k
Fileagda_2.6.3-1build1.debian.tar.xz08-11-2023 09:36 12k
Fileagda_2.6.3-1build1.dsc08-11-2023 09:36 8k
Fileagda_2.6.3-1build1_all.deb10-11-2023 20:19 4k
[CMP]agda_2.6.3.orig.tar.gz26-10-2023 15:43 1756k
Fileelpa-agda2-mode_2.5.3-3build1_all.deb25-11-2017 20:09 40k
Fileelpa-agda2-mode_2.6.0.1-1build4_all.deb08-02-2020 13:19 44k
Fileelpa-agda2-mode_2.6.1-1build2.1_all.deb16-09-2021 08:28 48k
Fileelpa-agda2-mode_2.6.2.2-1.1build1_all.deb12-12-2022 10:59 48k
Fileelpa-agda2-mode_2.6.3-1build1_all.deb10-11-2023 20:19 48k
Filelibghc-agda-dev_2.3.2.2-1_amd64.deb06-11-2013 17:28 13272k
Filelibghc-agda-dev_2.3.2.2-1_i386.deb06-11-2013 17:28 12608k
Filelibghc-agda-dev_2.4.2.5-1build1_amd64.deb12-01-2016 22:59 10424k
Filelibghc-agda-dev_2.4.2.5-1build1_i386.deb12-01-2016 22:45 10292k
Filelibghc-agda-dev_2.5.3-3build1_amd64.deb25-11-2017 20:09 15504k
Filelibghc-agda-dev_2.5.3-3build1_i386.deb25-11-2017 20:09 15224k
Filelibghc-agda-dev_2.6.0.1-1build4_amd64.deb08-02-2020 13:19 19224k
Filelibghc-agda-dev_2.6.1-1build2.1_amd64.deb16-09-2021 08:28 39316k
Filelibghc-agda-dev_2.6.2.2-1.1build1_amd64.deb12-12-2022 10:59 26100k
Filelibghc-agda-dev_2.6.3-1build1_amd64.deb10-11-2023 20:19 24888k
Filelibghc-agda-doc_2.3.2.2-1_all.deb06-11-2013 17:28 2136k
Filelibghc-agda-doc_2.4.2.5-1build1_all.deb12-01-2016 22:59 2136k
Filelibghc-agda-doc_2.5.3-3build1_all.deb25-11-2017 20:09 2688k
Filelibghc-agda-doc_2.6.0.1-1build4_all.deb08-02-2020 13:19 4112k
Filelibghc-agda-doc_2.6.1-1build2.1_all.deb16-09-2021 08:28 5280k
Filelibghc-agda-doc_2.6.2.2-1.1build1_all.deb12-12-2022 10:59 5852k
Filelibghc-agda-doc_2.6.3-1build1_all.deb10-11-2023 20:19 6144k
Alojado en Chile por Hostenode SpA - https://hnd.cl