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

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