../ agda-stdlib-doc_0.14-1_all.deb 11-Sep-2025 17:45 1069008 agda-stdlib-doc_1.1-1_all.deb 03-Sep-2025 18:09 1906288 agda-stdlib-doc_1.3-2_all.deb 04-Sep-2025 21:47 2447524 agda-stdlib-doc_1.7.3-1_all.deb 04-Sep-2025 17:12 2981076 agda-stdlib_0.14-1_all.deb 11-Sep-2025 17:59 18159516 agda-stdlib_1.1-1_all.deb 03-Sep-2025 18:13 47388280 agda-stdlib_1.3-2_all.deb 04-Sep-2025 21:38 73224528 agda-stdlib_1.7.3-1_all.deb 04-Sep-2025 17:52 120541094