Index of /repo_desktop_1.5/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_0.7-2_all.deb                      27-May-2013 23:33             1748382
agda-stdlib_0.7-2_all.deb                          27-May-2013 23:33            18142868