Index of /stable/debian-7-official-release/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.6-2_all.deb                      24-Sep-2019 08:09             1704574
agda-stdlib_0.6-2_all.deb                          24-Sep-2019 07:50            16979124