Index of /stable/debian-8-freexian-release/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.8-2_all.deb                      24-Sep-2019 09:39             1234684
agda-stdlib_0.8-2_all.deb                          24-Sep-2019 09:53            23527642