注册用户享1倍加速下载 立即注册
/mirrors_os/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 17:32
agda-bin_2.2.6-1+b1_i386.deb2.6 MiB2010-Jan-26 17:32
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb2.6 MiB2010-Jan-26 23:47
agda-bin_2.2.6-1+b1_mips.deb5.6 MiB2010-Mar-14 23:32
agda-bin_2.2.6-1+b1_powerpc.deb2.9 MiB2010-Jan-29 19:02
agda-bin_2.2.6-1+b1_s390.deb6.6 MiB2010-Jan-28 17:32
agda-bin_2.2.6-1+b1_sparc.deb4.2 MiB2010-Feb-04 19:02
agda-bin_2.2.6-1.diff.gz2.4 KiB2010-Jan-12 01:47
agda-bin_2.2.6-1.dsc1.3 KiB2010-Jan-12 01:47
agda-bin_2.2.6-1_armel.deb5.4 MiB2010-Mar-19 05:33
agda-bin_2.2.6-1_kfreebsd-amd64.deb2.8 MiB2010-Feb-27 13:32
agda-bin_2.2.6-1_mipsel.deb5.5 MiB2010-Mar-16 09:17
agda-bin_2.2.6.orig.tar.gz1.6 KiB2010-Jan-12 01:47
agda-bin_2.3.0.1-1.diff.gz2.9 KiB2012-Mar-12 21:47
agda-bin_2.3.0.1-1.dsc1.3 KiB2012-Mar-12 21:47
agda-bin_2.3.0.1-1_amd64.deb4.7 MiB2012-Mar-12 21:47
agda-bin_2.3.0.1-1_armel.deb6.9 MiB2012-Mar-26 06:47
agda-bin_2.3.0.1-1_armhf.deb6.9 MiB2012-Mar-27 12:47
agda-bin_2.3.0.1-1_i386.deb4.4 MiB2012-Mar-13 07:17
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb5.5 MiB2012-Mar-13 09:17
agda-bin_2.3.0.1-1_kfreebsd-i386.deb5.1 MiB2012-Mar-13 14:32
agda-bin_2.3.0.1-1_powerpc.deb4.6 MiB2012-Apr-21 18:02
agda-bin_2.3.0.1-1_s390x.deb14.7 MiB2012-Mar-13 09:47
agda-bin_2.3.0.1-1_sparc.deb6.8 MiB2012-Mar-26 17:32
agda-bin_2.3.0.1.orig.tar.gz1.7 KiB2012-Mar-12 21:47