../ agda-stdlib-doc_0.14-1_all.deb 11-Mar-2022 19:11 1M agda-stdlib-doc_1.1-1_all.deb 12-Mar-2022 13:53 2M agda-stdlib-doc_1.3-2_all.deb 07-Nov-2023 16:16 2M agda-stdlib_0.14-1_all.deb 11-Mar-2022 19:11 17M agda-stdlib_1.1-1_all.deb 12-Mar-2022 13:53 45M agda-stdlib_1.3-2_all.deb 07-Nov-2023 16:16 70M