Index of ftp://ftp.udc.es/debian/pool/main/a/agda-stdlib

[DIR] Parent Directory

[ ] agda-stdlib-doc_0.12-2_all.deb  1.22Mb  June 23 2016
[ ] agda-stdlib-doc_0.17-1_all.deb  1.33Mb  November 24 2018
[ ] agda-stdlib-doc_0.8-2_all.deb  1.18Mb  August 12 2014
[ ] agda-stdlib-doc_1.3-2_all.deb  2.35Mb  August 1 2020
[ ] agda-stdlib_0.12-2.debian.tar.xz  4.88Kb  June 23 2016
[ ] agda-stdlib_0.12-2.dsc  2.10Kb  June 23 2016
[ ] agda-stdlib_0.12-2_all.deb  16.28Mb  June 23 2016
[ GZ] agda-stdlib_0.12.orig.tar.gz  248.07Kb  June 20 2016
[ ] agda-stdlib_0.17-1.debian.tar.xz  5.19Kb  November 24 2018
[ ] agda-stdlib_0.17-1.dsc  2.18Kb  November 24 2018
[ ] agda-stdlib_0.17-1_all.deb  31.49Mb  November 24 2018
[ GZ] agda-stdlib_0.17.orig.tar.gz  388.02Kb  November 24 2018
[ ] agda-stdlib_0.8-2.debian.tar.xz  4.42Kb  August 12 2014
[ ] agda-stdlib_0.8-2.dsc  2.04Kb  August 12 2014
[ ] agda-stdlib_0.8-2_all.deb  22.44Mb  August 12 2014
[ GZ] agda-stdlib_0.8.orig.tar.gz  240.39Kb  August 5 2014
[ ] agda-stdlib_1.3-2.debian.tar.xz  5.51Kb  August 1 2020
[ ] agda-stdlib_1.3-2.dsc  2.06Kb  August 1 2020
[ ] agda-stdlib_1.3-2_all.deb  69.84Mb  August 1 2020
[ GZ] agda-stdlib_1.3.orig.tar.gz  733.80Kb  July 31 2020