Index of ftp://ftp2.ca.FreeBSD.org/debian/pool/main/a/agda-stdlib

[DIR] Parent Directory

[ ] agda-stdlib-doc_0.3-3_all.deb  1.13Mb  March 3 2010
[ ] agda-stdlib-doc_0.6-2_all.deb  1.63Mb  March 14 2012
[ ] agda-stdlib-doc_0.8-2_all.deb  1.18Mb  August 12 2014 at 09:40
[ GZ] agda-stdlib_0.3-3.diff.gz  3.69Kb  March 3 2010
[ ] agda-stdlib_0.3-3.dsc  1.25Kb  March 3 2010
[ ] agda-stdlib_0.3-3_amd64.deb  11.51Mb  March 3 2010
[ ] agda-stdlib_0.3-3_i386.deb  11.51Mb  March 3 2010
[ ] agda-stdlib_0.3-3_kfreebsd-i386.deb  11.49Mb  March 3 2010
[ ] agda-stdlib_0.3-3_powerpc.deb  11.51Mb  March 4 2010
[ ] agda-stdlib_0.3-3_sparc.deb  11.51Mb  March 13 2010
[ GZ] agda-stdlib_0.3.orig.tar.gz  146.63Kb  February 5 2010
[ GZ] agda-stdlib_0.6-2.debian.tar.gz  4.13Kb  March 14 2012
[ ] agda-stdlib_0.6-2.dsc  1.40Kb  March 14 2012
[ ] agda-stdlib_0.6-2_all.deb  16.19Mb  March 14 2012
[ GZ] agda-stdlib_0.6.orig.tar.gz  211.20Kb  December 30 2011
[ ] agda-stdlib_0.8-2.debian.tar.xz  4.42Kb  August 12 2014 at 09:40
[ ] agda-stdlib_0.8-2.dsc  2.04Kb  August 12 2014 at 09:40
[ ] agda-stdlib_0.8-2_all.deb  22.44Mb  August 12 2014 at 09:40
[ GZ] agda-stdlib_0.8.orig.tar.gz  240.39Kb  August 5 2014 at 09:28