Index of /stable/ubuntu/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