Index of /debian-archive/debian/pool/main/a/agda-bin/

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