../ agda-stdlib-doc_1.7.3-1_all.deb 11-Nov-2023 02:50 3M agda-stdlib-doc_2.3-1_all.deb 19-Feb-2026 03:05 4M agda-stdlib_1.7.3-1_all.deb 11-Nov-2023 02:50 115M agda-stdlib_2.3-1_all.deb 19-Feb-2026 03:06 149M