Index of /ubuntu/pool/universe/a/agda-bin

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]agda-bin_2.2.4-1.diff.gz2009-08-24 11:04 2.0K
[   ]agda-bin_2.2.4-1.dsc2009-08-24 11:04 1.1K
[   ]agda-bin_2.2.4-1_amd64.deb2009-08-24 18:42 2.4M
[   ]agda-bin_2.2.4-1_i386.deb2009-08-24 18:43 2.3M
[   ]agda-bin_2.2.4-1_lpia.deb2009-08-24 18:43 2.3M
[   ]agda-bin_2.2.4-1_powerpc.deb2009-08-24 18:44 2.6M
[   ]agda-bin_2.2.4-1_sparc.deb2009-08-25 02:06 3.8M
[   ]agda-bin_2.2.4.orig.tar.gz2009-08-24 11:04 1.5K
[   ]agda-bin_2.2.6-1build1.diff.gz2010-02-03 15:04 2.4K
[   ]agda-bin_2.2.6-1build1.dsc2010-02-03 15:04 1.3K
[   ]agda-bin_2.2.6-1build1_amd64.deb2010-02-03 15:04 2.7M
[   ]agda-bin_2.2.6-1build1_armel.deb2010-02-08 20:04 4.8M
[   ]agda-bin_2.2.6-1build1_i386.deb2010-02-03 15:04 2.6M
[   ]agda-bin_2.2.6-1build1_powerpc.deb2010-02-07 08:04 2.9M
[   ]agda-bin_2.2.6-1build1_sparc.deb2010-02-04 17:05 4.1M
[   ]agda-bin_2.2.6.orig.tar.gz2010-01-22 11:08 1.6K
[   ]agda-bin_2.2.10-1~ubuntu1.diff.gz2011-02-27 20:04 2.8K
[   ]agda-bin_2.2.10-1~ubuntu1.dsc2011-02-27 20:04 2.0K
[   ]agda-bin_2.2.10-1~ubuntu1_amd64.deb2011-02-27 20:05 3.9M
[   ]agda-bin_2.2.10-1~ubuntu1_i386.deb2011-02-27 20:05 3.7M
[   ]agda-bin_2.2.10-1~ubuntu1_powerpc.deb2011-02-27 21:05 4.1M
[   ]agda-bin_2.2.10-2.diff.gz2011-06-10 11:05 2.8K
[   ]agda-bin_2.2.10-2.dsc2011-06-10 11:05 1.9K
[   ]agda-bin_2.2.10-2_amd64.deb2011-06-10 11:05 4.0M
[   ]agda-bin_2.2.10-2_i386.deb2011-06-10 11:05 3.8M
[   ]agda-bin_2.2.10-2_powerpc.deb2011-06-10 16:05 4.0M
[   ]agda-bin_2.2.10.orig.tar.gz2011-02-27 20:04 1.7K
[   ]agda-bin_2.3.0.1-1.diff.gz2012-03-18 21:33 2.9K
[   ]agda-bin_2.3.0.1-1.dsc2012-03-18 21:33 1.3K
[   ]agda-bin_2.3.0.1-1_amd64.deb2012-03-18 22:33 4.7M
[   ]agda-bin_2.3.0.1-1_armel.deb2012-03-18 21:33 6.9M
[   ]agda-bin_2.3.0.1-1_armhf.deb2012-03-18 21:33 6.9M
[   ]agda-bin_2.3.0.1-1_i386.deb2012-03-18 21:33 4.4M
[   ]agda-bin_2.3.0.1-1_powerpc.deb2012-04-20 19:03 4.6M
[   ]agda-bin_2.3.0.1.orig.tar.gz2012-03-18 21:33 1.7K

Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80