Index of /ubuntu/pool/universe/a/agda/
Name
Last Modified
Size
Parent Directory
agda-bin_2.3.2.2-1_amd64.deb
06-11-2013 17:28
5348k
agda-bin_2.3.2.2-1_i386.deb
06-11-2013 17:28
4976k
agda-bin_2.4.2.5-1build1_amd64.deb
12-01-2016 22:59
4692k
agda-bin_2.4.2.5-1build1_i386.deb
12-01-2016 22:45
4672k
agda-bin_2.5.3-3build1_amd64.deb
25-11-2017 20:09
5596k
agda-bin_2.5.3-3build1_i386.deb
25-11-2017 20:09
5604k
agda-bin_2.6.0.1-1build4_amd64.deb
08-02-2020 13:19
6420k
agda-bin_2.6.1-1build2.1_amd64.deb
16-09-2021 08:28
9320k
agda-bin_2.6.2.2-1.1build1_amd64.deb
12-12-2022 10:59
8152k
agda-bin_2.6.3-1build1_amd64.deb
10-11-2023 20:19
10732k
agda-mode_2.3.2.2-1_all.deb
06-11-2013 17:28
48k
agda-mode_2.4.2.5-1build1_all.deb
12-01-2016 22:59
40k
agda-mode_2.5.3-3build1_all.deb
25-11-2017 20:09
4k
agda-mode_2.6.0.1-1build4_all.deb
08-02-2020 13:19
4k
agda_2.3.2.2-1.debian.tar.gz
06-11-2013 17:28
8k
agda_2.3.2.2-1.dsc
06-11-2013 17:28
4k
agda_2.3.2.2-1_all.deb
06-11-2013 17:28
4k
agda_2.3.2.2.orig.tar.gz
06-11-2013 17:28
1988k
agda_2.4.2.5-1build1.debian.tar.xz
12-01-2016 22:30
8k
agda_2.4.2.5-1build1.dsc
12-01-2016 22:30
4k
agda_2.4.2.5-1build1_all.deb
12-01-2016 22:59
4k
agda_2.4.2.5.orig.tar.gz
04-01-2016 23:25
1008k
agda_2.5.3-3build1.debian.tar.xz
25-11-2017 19:15
12k
agda_2.5.3-3build1.dsc
25-11-2017 19:15
8k
agda_2.5.3-3build1_all.deb
25-11-2017 20:09
4k
agda_2.5.3.orig.tar.gz
01-11-2017 13:05
1176k
agda_2.6.0.1-1build4.debian.tar.xz
08-02-2020 11:38
12k
agda_2.6.0.1-1build4.dsc
08-02-2020 11:38
8k
agda_2.6.0.1-1build4_all.deb
08-02-2020 13:19
4k
agda_2.6.0.1.orig.tar.gz
01-09-2019 12:43
2320k
agda_2.6.1-1build2.1.debian.tar.xz
16-09-2021 07:39
12k
agda_2.6.1-1build2.1.dsc
16-09-2021 07:39
8k
agda_2.6.1-1build2.1_all.deb
16-09-2021 08:28
8k
agda_2.6.1.orig.tar.gz
29-07-2020 23:19
2588k
agda_2.6.2.2-1.1build1.debian.tar.xz
12-12-2022 10:29
12k
agda_2.6.2.2-1.1build1.dsc
12-12-2022 10:29
8k
agda_2.6.2.2-1.1build1_all.deb
12-12-2022 10:59
4k
agda_2.6.2.2.orig.tar.gz
06-08-2022 23:19
1652k
agda_2.6.3-1build1.debian.tar.xz
08-11-2023 09:36
12k
agda_2.6.3-1build1.dsc
08-11-2023 09:36
8k
agda_2.6.3-1build1_all.deb
10-11-2023 20:19
4k
agda_2.6.3.orig.tar.gz
26-10-2023 15:43
1756k
elpa-agda2-mode_2.5.3-3build1_all.deb
25-11-2017 20:09
40k
elpa-agda2-mode_2.6.0.1-1build4_all.deb
08-02-2020 13:19
44k
elpa-agda2-mode_2.6.1-1build2.1_all.deb
16-09-2021 08:28
48k
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb
12-12-2022 10:59
48k
elpa-agda2-mode_2.6.3-1build1_all.deb
10-11-2023 20:19
48k
libghc-agda-dev_2.3.2.2-1_amd64.deb
06-11-2013 17:28
13272k
libghc-agda-dev_2.3.2.2-1_i386.deb
06-11-2013 17:28
12608k
libghc-agda-dev_2.4.2.5-1build1_amd64.deb
12-01-2016 22:59
10424k
libghc-agda-dev_2.4.2.5-1build1_i386.deb
12-01-2016 22:45
10292k
libghc-agda-dev_2.5.3-3build1_amd64.deb
25-11-2017 20:09
15504k
libghc-agda-dev_2.5.3-3build1_i386.deb
25-11-2017 20:09
15224k
libghc-agda-dev_2.6.0.1-1build4_amd64.deb
08-02-2020 13:19
19224k
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
16-09-2021 08:28
39316k
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
12-12-2022 10:59
26100k
libghc-agda-dev_2.6.3-1build1_amd64.deb
10-11-2023 20:19
24888k
libghc-agda-doc_2.3.2.2-1_all.deb
06-11-2013 17:28
2136k
libghc-agda-doc_2.4.2.5-1build1_all.deb
12-01-2016 22:59
2136k
libghc-agda-doc_2.5.3-3build1_all.deb
25-11-2017 20:09
2688k
libghc-agda-doc_2.6.0.1-1build4_all.deb
08-02-2020 13:19
4112k
libghc-agda-doc_2.6.1-1build2.1_all.deb
16-09-2021 08:28
5280k
libghc-agda-doc_2.6.2.2-1.1build1_all.deb
12-12-2022 10:59
5852k
libghc-agda-doc_2.6.3-1build1_all.deb
10-11-2023 20:19
6144k
Alojado en Chile por Hostenode SpA -
https://hnd.cl