Index of /debian/pool/main/a/agda-stdlib/
Name
Last Modified
Size
Parent Directory
agda-stdlib-doc_0.17-1_all.deb
24-11-2018 01:48
1364k
agda-stdlib-doc_1.3-2_all.deb
01-08-2020 13:34
2404k
agda-stdlib-doc_1.7.1-1_all.deb
06-08-2022 18:46
2972k
agda-stdlib-doc_1.7.3-1_all.deb
04-11-2023 12:59
2972k
agda-stdlib_0.17-1.debian.tar.xz
24-11-2018 01:07
8k
agda-stdlib_0.17-1.dsc
24-11-2018 01:07
4k
agda-stdlib_0.17-1_all.deb
24-11-2018 01:48
32248k
agda-stdlib_0.17.orig.tar.gz
24-11-2018 01:07
392k
agda-stdlib_1.3-2.debian.tar.xz
01-08-2020 12:54
8k
agda-stdlib_1.3-2.dsc
01-08-2020 12:54
4k
agda-stdlib_1.3-2_all.deb
01-08-2020 13:34
71524k
agda-stdlib_1.3.orig.tar.gz
31-07-2020 11:50
736k
agda-stdlib_1.7.1-1.debian.tar.xz
06-08-2022 17:10
8k
agda-stdlib_1.7.1-1.dsc
06-08-2022 17:10
4k
agda-stdlib_1.7.1-1_all.deb
06-08-2022 18:46
97700k
agda-stdlib_1.7.1.orig.tar.gz
06-08-2022 17:10
920k
agda-stdlib_1.7.3-1.debian.tar.xz
04-11-2023 12:33
8k
agda-stdlib_1.7.3-1.dsc
04-11-2023 12:33
4k
agda-stdlib_1.7.3-1_all.deb
04-11-2023 12:59
115084k
agda-stdlib_1.7.3.orig.tar.gz
04-11-2023 12:33
924k
Alojado en Chile por Hostenode SpA -
https://hnd.cl