Filename Modification time Size agda-stdlib-doc_0.7-2_all.deb 2013-05-28 01:33 CEST 1707 KiB agda-stdlib-doc_0.11-1_all.deb 2016-01-05 02:20 CET 1235 KiB agda-stdlib-doc_0.14-1_all.deb 2017-11-26 19:04 CET 1044 KiB agda-stdlib-doc_1.1-1_all.deb 2019-09-06 17:48 CEST 1862 KiB agda-stdlib-doc_1.3-2_all.deb 2020-08-02 07:43 CEST 2390 KiB agda-stdlib-doc_1.7.3-1_all.deb 2023-11-11 00:50 CET 2911 KiB agda-stdlib-doc_2.1-4_all.deb 2024-11-26 01:17 CET 3578 KiB agda-stdlib_0.7-2.debian.tar.gz 2013-05-28 01:33 CEST 4455 B agda-stdlib_0.7-2.dsc 2013-05-28 01:33 CEST 2077 B agda-stdlib_0.7-2_all.deb 2013-05-28 01:33 CEST 17 MiB agda-stdlib_0.7.orig.tar.gz 2013-04-10 20:03 CEST 221 KiB agda-stdlib_0.11-1.debian.tar.xz 2016-01-05 00:25 CET 4600 B agda-stdlib_0.11-1.dsc 2016-01-05 00:25 CET 2105 B agda-stdlib_0.11-1_all.deb 2016-01-05 02:20 CET 17 MiB agda-stdlib_0.11.orig.tar.gz 2016-01-05 00:25 CET 247 KiB agda-stdlib_0.14-1.debian.tar.xz 2017-11-26 18:08 CET 5188 B agda-stdlib_0.14-1.dsc 2017-11-26 18:08 CET 2100 B agda-stdlib_0.14-1_all.deb 2017-11-26 19:04 CET 17 MiB agda-stdlib_0.14.orig.tar.gz 2017-11-26 12:14 CET 279 KiB agda-stdlib_1.1-1.debian.tar.xz 2019-09-06 17:48 CEST 5528 B agda-stdlib_1.1-1.dsc 2019-09-06 17:48 CEST 2117 B agda-stdlib_1.1-1_all.deb 2019-09-06 17:48 CEST 45 MiB agda-stdlib_1.1.orig.tar.gz 2019-09-04 15:38 CEST 557 KiB agda-stdlib_1.3-2.debian.tar.xz 2020-08-02 07:13 CEST 5640 B agda-stdlib_1.3-2.dsc 2020-08-02 07:13 CEST 2113 B agda-stdlib_1.3-2_all.deb 2020-08-02 07:43 CEST 70 MiB agda-stdlib_1.3.orig.tar.gz 2020-08-02 01:33 CEST 734 KiB agda-stdlib_1.7.3-1.debian.tar.xz 2023-11-04 19:15 CET 5732 B agda-stdlib_1.7.3-1.dsc 2023-11-04 19:15 CET 2157 B agda-stdlib_1.7.3-1_all.deb 2023-11-11 00:50 CET 115 MiB agda-stdlib_1.7.3.orig.tar.gz 2023-11-04 19:15 CET 920 KiB agda-stdlib_2.1-4.debian.tar.xz 2024-11-26 01:17 CET 6060 B agda-stdlib_2.1-4.dsc 2024-11-26 01:17 CET 2224 B agda-stdlib_2.1-4_all.deb 2024-11-26 01:17 CET 140 MiB agda-stdlib_2.1.orig.tar.gz 2024-10-31 18:16 CET 1183 KiB
