Filename Modification time Size agda-stdlib-doc_0.3-3_all.deb 2010-03-03 12:32 CET 1154 KiB agda-stdlib-doc_0.6-2_all.deb 2012-03-14 10:47 CET 1665 KiB agda-stdlib-doc_0.8-2_all.deb 2014-08-12 11:40 CEST 1206 KiB agda-stdlib-doc_0.12-2_all.deb 2016-06-23 20:55 CEST 1246 KiB agda-stdlib-doc_0.17-1_all.deb 2018-11-24 02:48 CET 1361 KiB agda-stdlib-doc_1.3-2_all.deb 2020-08-01 15:34 CEST 2403 KiB agda-stdlib_0.3-3.diff.gz 2010-03-03 12:32 CET 3774 B agda-stdlib_0.3-3.dsc 2010-03-03 12:32 CET 1276 B agda-stdlib_0.3-3_amd64.deb 2010-03-03 12:32 CET 12 MiB agda-stdlib_0.3-3_i386.deb 2010-03-03 18:17 CET 12 MiB agda-stdlib_0.3-3_kfreebsd-i386.deb 2010-03-03 16:32 CET 11 MiB agda-stdlib_0.3-3_powerpc.deb 2010-03-04 01:17 CET 12 MiB agda-stdlib_0.3-3_sparc.deb 2010-03-13 01:17 CET 12 MiB agda-stdlib_0.3.orig.tar.gz 2010-02-05 18:17 CET 147 KiB agda-stdlib_0.6-2.debian.tar.gz 2012-03-14 10:47 CET 4226 B agda-stdlib_0.6-2.dsc 2012-03-14 10:47 CET 1437 B agda-stdlib_0.6-2_all.deb 2012-03-14 10:47 CET 16 MiB agda-stdlib_0.6.orig.tar.gz 2011-12-30 21:47 CET 211 KiB agda-stdlib_0.8-2.debian.tar.xz 2014-08-12 11:40 CEST 4524 B agda-stdlib_0.8-2.dsc 2014-08-12 11:40 CEST 2094 B agda-stdlib_0.8-2_all.deb 2014-08-12 11:40 CEST 22 MiB agda-stdlib_0.8.orig.tar.gz 2014-08-05 11:28 CEST 240 KiB agda-stdlib_0.12-2.debian.tar.xz 2016-06-23 19:53 CEST 4996 B agda-stdlib_0.12-2.dsc 2016-06-23 19:53 CEST 2155 B agda-stdlib_0.12-2_all.deb 2016-06-23 20:55 CEST 16 MiB agda-stdlib_0.12.orig.tar.gz 2016-06-20 10:47 CEST 248 KiB agda-stdlib_0.17-1.debian.tar.xz 2018-11-24 02:07 CET 5312 B agda-stdlib_0.17-1.dsc 2018-11-24 02:07 CET 2234 B agda-stdlib_0.17-1_all.deb 2018-11-24 02:48 CET 31 MiB agda-stdlib_0.17.orig.tar.gz 2018-11-24 02:07 CET 388 KiB agda-stdlib_1.3-2.debian.tar.xz 2020-08-01 14:54 CEST 5640 B agda-stdlib_1.3-2.dsc 2020-08-01 14:54 CEST 2113 B agda-stdlib_1.3-2_all.deb 2020-08-01 15:34 CEST 70 MiB agda-stdlib_1.3.orig.tar.gz 2020-07-31 13:50 CEST 734 KiB
