Index of ftp://linux3.cc.ntu.edu.tw/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.1-1_all.deb  1.83Mb  September 13 2019 at 15:47
[ ] 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.1-1.debian.tar.xz  5.40Kb  September 4 2019 at 13:26
[ ] agda-stdlib_1.1-1.dsc  2.07Kb  September 4 2019 at 13:26
[ ] agda-stdlib_1.1-1_all.deb  45.20Mb  September 13 2019 at 15:47
[ GZ] agda-stdlib_1.1.orig.tar.gz  556.74Kb  September 4 2019 at 13:26