../ agda-stdlib-doc_0.17-1_all.deb 11-Apr-2022 03:04 1393968 agda-stdlib_0.17-1.debian.tar.xz 11-Apr-2022 03:26 5312 agda-stdlib_0.17-1.dsc 11-Apr-2022 03:26 2234 agda-stdlib_0.17-1_all.deb 11-Apr-2022 03:08 33021876 agda-stdlib_0.17.orig.tar.gz 11-Apr-2022 03:26 397328