../ agda-stdlib-doc_0.12-2_all.deb 26-Apr-2023 13:38 1M agda-stdlib-doc_0.3-3_all.deb 26-Apr-2023 10:34 1M agda-stdlib_0.12-2.debian.tar.xz 26-Apr-2023 13:38 4996 agda-stdlib_0.12-2.dsc 26-Apr-2023 13:38 2155 agda-stdlib_0.12-2_all.deb 26-Apr-2023 13:38 16M agda-stdlib_0.12.orig.tar.gz 26-Apr-2023 13:38 248K agda-stdlib_0.3-3.diff.gz 26-Apr-2023 10:34 3774 agda-stdlib_0.3-3.dsc 26-Apr-2023 10:34 1276 agda-stdlib_0.3-3_i386.deb 26-Apr-2023 10:34 12M agda-stdlib_0.3.orig.tar.gz 26-Apr-2023 10:34 147K