Welcome to Capital Online Mirror Site

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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
agda-bin_2.2.6-1+b1_amd64.deb	2.7 MiB	2010-Jan-26 09:32
agda-bin_2.2.6-1+b1_i386.deb	2.6 MiB	2010-Jan-26 09:32
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb	2.6 MiB	2010-Jan-26 15:47
agda-bin_2.2.6-1+b1_mips.deb	5.6 MiB	2010-Mar-14 15:32
agda-bin_2.2.6-1+b1_powerpc.deb	2.9 MiB	2010-Jan-29 11:02
agda-bin_2.2.6-1+b1_s390.deb	6.6 MiB	2010-Jan-28 09:32
agda-bin_2.2.6-1+b1_sparc.deb	4.2 MiB	2010-Feb-04 11:02
agda-bin_2.2.6-1.diff.gz	2.4 KiB	2010-Jan-11 17:47
agda-bin_2.2.6-1.dsc	1.3 KiB	2010-Jan-11 17:47
agda-bin_2.2.6-1_armel.deb	5.4 MiB	2010-Mar-18 21:33
agda-bin_2.2.6-1_kfreebsd-amd64.deb	2.8 MiB	2010-Feb-27 05:32
agda-bin_2.2.6-1_mipsel.deb	5.5 MiB	2010-Mar-16 01:17
agda-bin_2.2.6.orig.tar.gz	1.6 KiB	2010-Jan-11 17:47
agda-bin_2.3.0.1-1.diff.gz	2.9 KiB	2012-Mar-12 13:47
agda-bin_2.3.0.1-1.dsc	1.3 KiB	2012-Mar-12 13:47
agda-bin_2.3.0.1-1_amd64.deb	4.7 MiB	2012-Mar-12 13:47
agda-bin_2.3.0.1-1_armel.deb	6.9 MiB	2012-Mar-25 22:47
agda-bin_2.3.0.1-1_armhf.deb	6.9 MiB	2012-Mar-27 04:47
agda-bin_2.3.0.1-1_i386.deb	4.4 MiB	2012-Mar-12 23:17
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb	5.5 MiB	2012-Mar-13 01:17
agda-bin_2.3.0.1-1_kfreebsd-i386.deb	5.1 MiB	2012-Mar-13 06:32
agda-bin_2.3.0.1-1_powerpc.deb	4.6 MiB	2012-Apr-21 10:02
agda-bin_2.3.0.1-1_s390x.deb	14.7 MiB	2012-Mar-13 01:47
agda-bin_2.3.0.1-1_sparc.deb	6.8 MiB	2012-Mar-26 09:32
agda-bin_2.3.0.1.orig.tar.gz	1.7 KiB	2012-Mar-12 13:47

Powered By Capital Online Data Service LTD.  About US  Contact US