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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.2.6-1.dsc 13292010-Jan-12 02:47
agda-bin_2.3.0.1-1.dsc 13702012-Mar-12 22:47
agda-bin_2.2.6.orig.tar.gz 16812010-Jan-12 02:47
agda-bin_2.3.0.1.orig.tar.gz 17652012-Mar-12 22:47
agda-bin_2.2.6-1.diff.gz 24492010-Jan-12 02:47
agda-bin_2.3.0.1-1.diff.gz 30082012-Mar-12 22:47
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb 26757622010-Jan-27 00:47
agda-bin_2.2.6-1+b1_i386.deb 26792382010-Jan-26 18:32
agda-bin_2.2.6-1+b1_amd64.deb 28545102010-Jan-26 18:32
agda-bin_2.2.6-1_kfreebsd-amd64.deb 28953162010-Feb-27 14:32
agda-bin_2.2.6-1+b1_powerpc.deb 30017382010-Jan-29 20:02
agda-bin_2.2.6-1+b1_sparc.deb 44372722010-Feb-04 20:02
agda-bin_2.3.0.1-1_i386.deb 45870782012-Mar-13 08:17
agda-bin_2.3.0.1-1_powerpc.deb 48223742012-Apr-21 19:02
agda-bin_2.3.0.1-1_amd64.deb 49117222012-Mar-12 22:47
agda-bin_2.3.0.1-1_kfreebsd-i386.deb 53633642012-Mar-13 15:32
agda-bin_2.2.6-1_armel.deb 56504722010-Mar-19 06:33
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 57390782012-Mar-13 10:17
agda-bin_2.2.6-1_mipsel.deb 57592662010-Mar-16 10:17
agda-bin_2.2.6-1+b1_mips.deb 58984582010-Mar-15 00:32
agda-bin_2.2.6-1+b1_s390.deb 69169002010-Jan-28 18:32
agda-bin_2.3.0.1-1_sparc.deb 71169682012-Mar-26 18:32
agda-bin_2.3.0.1-1_armhf.deb 72004162012-Mar-27 13:47
agda-bin_2.3.0.1-1_armel.deb 72490322012-Mar-26 07:47
agda-bin_2.3.0.1-1_s390x.deb 153798082012-Mar-13 10:47