Index of /ubuntu/pool/universe/a/agda-stdlib/
Name
Last Modified
Size
Parent Directory
agda-stdlib-doc_0.11-1_all.deb
05-01-2016 01:20
1236k
agda-stdlib-doc_0.14-1_all.deb
26-11-2017 18:04
1044k
agda-stdlib-doc_0.7-2_all.deb
27-05-2013 23:33
1708k
agda-stdlib-doc_1.1-1_all.deb
06-09-2019 15:48
1864k
agda-stdlib-doc_1.3-2_all.deb
02-08-2020 05:43
2392k
agda-stdlib-doc_1.7.1-1_all.deb
26-08-2022 19:09
2912k
agda-stdlib-doc_1.7.3-1_all.deb
10-11-2023 23:50
2912k
agda-stdlib_0.11-1.debian.tar.xz
04-01-2016 23:25
8k
agda-stdlib_0.11-1.dsc
04-01-2016 23:25
4k
agda-stdlib_0.11-1_all.deb
05-01-2016 01:20
17096k
agda-stdlib_0.11.orig.tar.gz
04-01-2016 23:25
248k
agda-stdlib_0.14-1.debian.tar.xz
26-11-2017 17:08
8k
agda-stdlib_0.14-1.dsc
26-11-2017 17:08
4k
agda-stdlib_0.14-1_all.deb
26-11-2017 18:04
17736k
agda-stdlib_0.14.orig.tar.gz
26-11-2017 11:14
280k
agda-stdlib_0.7-2.debian.tar.gz
27-05-2013 23:33
8k
agda-stdlib_0.7-2.dsc
27-05-2013 23:33
4k
agda-stdlib_0.7-2_all.deb
27-05-2013 23:33
17720k
agda-stdlib_0.7.orig.tar.gz
10-04-2013 18:03
224k
agda-stdlib_1.1-1.debian.tar.xz
06-09-2019 15:48
8k
agda-stdlib_1.1-1.dsc
06-09-2019 15:48
4k
agda-stdlib_1.1-1_all.deb
06-09-2019 15:48
46280k
agda-stdlib_1.1.orig.tar.gz
04-09-2019 13:38
560k
agda-stdlib_1.3-2.debian.tar.xz
02-08-2020 05:13
8k
agda-stdlib_1.3-2.dsc
02-08-2020 05:13
4k
agda-stdlib_1.3-2_all.deb
02-08-2020 05:43
71512k
agda-stdlib_1.3.orig.tar.gz
01-08-2020 23:33
736k
agda-stdlib_1.7.1-1.debian.tar.xz
06-08-2022 23:19
8k
agda-stdlib_1.7.1-1.dsc
06-08-2022 23:19
4k
agda-stdlib_1.7.1-1_all.deb
26-08-2022 19:09
100316k
agda-stdlib_1.7.1.orig.tar.gz
06-08-2022 23:19
920k
agda-stdlib_1.7.3-1.debian.tar.xz
04-11-2023 18:15
8k
agda-stdlib_1.7.3-1.dsc
04-11-2023 18:15
4k
agda-stdlib_1.7.3-1_all.deb
10-11-2023 23:50
117716k
agda-stdlib_1.7.3.orig.tar.gz
04-11-2023 18:15
924k
Alojado en Chile por Hostenode SpA -
https://hnd.cl