File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.3.0.1.orig.tar.gz1.7 KiB2012-Mar-12 14:47
agda-bin_2.3.0.1-1_sparc.deb6.8 MiB2012-Mar-26 10:32
agda-bin_2.3.0.1-1_s390x.deb14.7 MiB2012-Mar-13 02:47
agda-bin_2.3.0.1-1_powerpc.deb4.6 MiB2012-Apr-21 11:02
agda-bin_2.3.0.1-1_kfreebsd-i386.deb5.1 MiB2012-Mar-13 07:32
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb5.5 MiB2012-Mar-13 02:17
agda-bin_2.3.0.1-1_i386.deb4.4 MiB2012-Mar-13 00:17
agda-bin_2.3.0.1-1_armhf.deb6.9 MiB2012-Mar-27 05:47
agda-bin_2.3.0.1-1_armel.deb6.9 MiB2012-Mar-25 23:47
agda-bin_2.3.0.1-1_amd64.deb4.7 MiB2012-Mar-12 14:47
agda-bin_2.3.0.1-1.dsc1.3 KiB2012-Mar-12 14:47
agda-bin_2.3.0.1-1.diff.gz2.9 KiB2012-Mar-12 14:47
agda-bin_2.2.6.orig.tar.gz1.6 KiB2010-Jan-11 18:47
agda-bin_2.2.6-1_mipsel.deb5.5 MiB2010-Mar-16 02:17
agda-bin_2.2.6-1_kfreebsd-amd64.deb2.8 MiB2010-Feb-27 06:32
agda-bin_2.2.6-1_armel.deb5.4 MiB2010-Mar-18 22:33
agda-bin_2.2.6-1.dsc1.3 KiB2010-Jan-11 18:47
agda-bin_2.2.6-1.diff.gz2.4 KiB2010-Jan-11 18:47
agda-bin_2.2.6-1+b1_sparc.deb4.2 MiB2010-Feb-04 12:02
agda-bin_2.2.6-1+b1_s390.deb6.6 MiB2010-Jan-28 10:32
agda-bin_2.2.6-1+b1_powerpc.deb2.9 MiB2010-Jan-29 12:02
agda-bin_2.2.6-1+b1_mips.deb5.6 MiB2010-Mar-14 16:32
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb2.6 MiB2010-Jan-26 16:47
agda-bin_2.2.6-1+b1_i386.deb2.6 MiB2010-Jan-26 10:32
agda-bin_2.2.6-1+b1_amd64.deb2.7 MiB2010-Jan-26 10:32