Index of /xenial-preprod/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.11-1_all.deb                     24-Apr-2018 14:26             1265062
agda-stdlib_0.11-1_all.deb                         24-Apr-2018 13:57            17502462