Index of /debian-archive/debian/pool/main/a/agda-bin/
name
size
date
agda-bin_2.3.0.1-1_powerpc.deb
4.60M
2012-04-21 10:02:09
agda-bin_2.3.0.1-1_armhf.deb
6.87M
2012-03-27 04:47:07
agda-bin_2.3.0.1-1_sparc.deb
6.79M
2012-03-26 09:32:12
agda-bin_2.3.0.1-1_armel.deb
6.91M
2012-03-25 22:47:23
agda-bin_2.3.0.1-1_kfreebsd-i386.deb
5.11M
2012-03-13 06:32:09
agda-bin_2.3.0.1-1_s390x.deb
14.67M
2012-03-13 01:47:08
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb
5.47M
2012-03-13 01:17:07
agda-bin_2.3.0.1-1_i386.deb
4.37M
2012-03-12 23:17:07
agda-bin_2.3.0.1-1.diff.gz
2.9K
2012-03-12 13:47:08
agda-bin_2.3.0.1-1.dsc
1.3K
2012-03-12 13:47:08
agda-bin_2.3.0.1-1_amd64.deb
4.68M
2012-03-12 13:47:08
agda-bin_2.3.0.1.orig.tar.gz
1.7K
2012-03-12 13:47:08
agda-bin_2.2.6-1_armel.deb
5.39M
2010-03-18 21:33:11
agda-bin_2.2.6-1_mipsel.deb
5.49M
2010-03-16 01:17:03
agda-bin_2.2.6-1+b1_mips.deb
5.63M
2010-03-14 15:32:21
agda-bin_2.2.6-1_kfreebsd-amd64.deb
2.76M
2010-02-27 05:32:13
agda-bin_2.2.6-1+b1_sparc.deb
4.23M
2010-02-04 11:02:03
agda-bin_2.2.6-1+b1_powerpc.deb
2.86M
2010-01-29 11:02:03
agda-bin_2.2.6-1+b1_s390.deb
6.60M
2010-01-28 09:32:08
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb
2.55M
2010-01-26 15:47:47
agda-bin_2.2.6-1+b1_i386.deb
2.56M
2010-01-26 09:32:43
agda-bin_2.2.6-1+b1_amd64.deb
2.72M
2010-01-26 09:32:26
agda-bin_2.2.6-1.diff.gz
2.4K
2010-01-11 17:47:03
agda-bin_2.2.6-1.dsc
1.3K
2010-01-11 17:47:03
agda-bin_2.2.6.orig.tar.gz
1.6K
2010-01-11 17:47:03