Index of /mirrors/deepin/packages/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.17-1_all.deb                                                                                           11-Apr-2022 03:04      1M
agda-stdlib_0.17-1.debian.tar.xz                                                                                         11-Apr-2022 03:26    5312
agda-stdlib_0.17-1.dsc                                                                                                   11-Apr-2022 03:26    2234
agda-stdlib_0.17-1_all.deb                                                                                               11-Apr-2022 03:08     31M
agda-stdlib_0.17.orig.tar.gz                                                                                             11-Apr-2022 03:26    388K