../ agda-stdlib-doc_0.14-1_all.deb 06-Apr-2022 21:10 1069008 agda-stdlib-doc_1.1-1_all.deb 02-Apr-2022 07:05 1906288 agda-stdlib-doc_1.3-2_all.deb 31-Mar-2022 20:43 2447524 agda-stdlib-doc_1.7.3-1_all.deb 21-Mar-2024 06:50 2981076 agda-stdlib_0.14-1_all.deb 06-Apr-2022 21:23 18159516 agda-stdlib_1.1-1_all.deb 02-Apr-2022 04:46 47388280 agda-stdlib_1.3-2_all.deb 31-Mar-2022 18:29 73224528 agda-stdlib_1.7.3-1_all.deb 21-Mar-2024 06:17 120541094