Index of /old-ubuntu/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_0.6-2_all.deb                                                                                            25-Sep-2023 14:51      2M
agda-stdlib_0.6-2_all.deb                                                                                                25-Sep-2023 14:51     16M