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

NameLast ModifiedSize
UpParent Directory
Fileagda-stdlib-doc_0.11-1_all.deb05-01-2016 01:20 1236k
Fileagda-stdlib-doc_0.14-1_all.deb26-11-2017 18:04 1044k
Fileagda-stdlib-doc_0.7-2_all.deb27-05-2013 23:33 1708k
Fileagda-stdlib-doc_1.1-1_all.deb06-09-2019 15:48 1864k
Fileagda-stdlib-doc_1.3-2_all.deb02-08-2020 05:43 2392k
Fileagda-stdlib-doc_1.7.1-1_all.deb26-08-2022 19:09 2912k
Fileagda-stdlib-doc_1.7.3-1_all.deb10-11-2023 23:50 2912k
Fileagda-stdlib_0.11-1.debian.tar.xz04-01-2016 23:25 8k
Fileagda-stdlib_0.11-1.dsc04-01-2016 23:25 4k
Fileagda-stdlib_0.11-1_all.deb05-01-2016 01:20 17096k
[CMP]agda-stdlib_0.11.orig.tar.gz04-01-2016 23:25 248k
Fileagda-stdlib_0.14-1.debian.tar.xz26-11-2017 17:08 8k
Fileagda-stdlib_0.14-1.dsc26-11-2017 17:08 4k
Fileagda-stdlib_0.14-1_all.deb26-11-2017 18:04 17736k
[CMP]agda-stdlib_0.14.orig.tar.gz26-11-2017 11:14 280k
[CMP]agda-stdlib_0.7-2.debian.tar.gz27-05-2013 23:33 8k
Fileagda-stdlib_0.7-2.dsc27-05-2013 23:33 4k
Fileagda-stdlib_0.7-2_all.deb27-05-2013 23:33 17720k
[CMP]agda-stdlib_0.7.orig.tar.gz10-04-2013 18:03 224k
Fileagda-stdlib_1.1-1.debian.tar.xz06-09-2019 15:48 8k
Fileagda-stdlib_1.1-1.dsc06-09-2019 15:48 4k
Fileagda-stdlib_1.1-1_all.deb06-09-2019 15:48 46280k
[CMP]agda-stdlib_1.1.orig.tar.gz04-09-2019 13:38 560k
Fileagda-stdlib_1.3-2.debian.tar.xz02-08-2020 05:13 8k
Fileagda-stdlib_1.3-2.dsc02-08-2020 05:13 4k
Fileagda-stdlib_1.3-2_all.deb02-08-2020 05:43 71512k
[CMP]agda-stdlib_1.3.orig.tar.gz01-08-2020 23:33 736k
Fileagda-stdlib_1.7.1-1.debian.tar.xz06-08-2022 23:19 8k
Fileagda-stdlib_1.7.1-1.dsc06-08-2022 23:19 4k
Fileagda-stdlib_1.7.1-1_all.deb26-08-2022 19:09 100316k
[CMP]agda-stdlib_1.7.1.orig.tar.gz06-08-2022 23:19 920k
Fileagda-stdlib_1.7.3-1.debian.tar.xz04-11-2023 18:15 8k
Fileagda-stdlib_1.7.3-1.dsc04-11-2023 18:15 4k
Fileagda-stdlib_1.7.3-1_all.deb10-11-2023 23:50 117716k
[CMP]agda-stdlib_1.7.3.orig.tar.gz04-11-2023 18:15 924k
Alojado en Chile por Hostenode SpA - https://hnd.cl