Index of ftp://ftp.uk.freesbie.org/sites/archive.ubuntu.com/ubuntu/pool/universe/a/agda

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 04
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] agda_2.4.0.2-2.debian.tar.xz  7.17Kb  August 11 2014 at 16:28  [find mirrors]
[ ] agda_2.4.0.2-2.dsc  3.85Kb  August 11 2014 at 16:28  [find mirrors]
[ GZ] agda_2.4.0.2.orig.tar.gz  889.05Kb  August 5 2014 at 17:34  [find mirrors]
[ ] agda-bin_2.3.2.1-1_amd64.deb  5.10Mb  June 17 2013  [find mirrors]
[ ] agda-bin_2.3.2.1-1_i386.deb  4.74Mb  June 17 2013  [find mirrors]
[ ] agda-bin_2.3.2.1-1_powerpc.deb  4.98Mb  June 17 2013  [find mirrors]
[ ] agda-bin_2.3.2-1_amd64.deb  5.09Mb  April 10 2013  [find mirrors]
[ ] agda-bin_2.3.2-1_armhf.deb  7.11Mb  April 10 2013  [find mirrors]
[ ] agda-bin_2.3.2-1_i386.deb  4.74Mb  April 10 2013  [find mirrors]
[ ] agda-bin_2.3.2-1_powerpc.deb  4.96Mb  April 10 2013  [find mirrors]
[ ] agda-bin_2.3.2.2-1_amd64.deb  5.22Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.3.2.2-1_i386.deb  4.86Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.3.2.2-1_powerpc.deb  5.10Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.4.0.2-2_amd64.deb  3.70Mb  August 11 2014 at 16:53  [find mirrors]
[ ] agda-bin_2.4.0.2-2build1_amd64.deb  3.70Mb  October 29 2014 at 18:00  [find mirrors]
[ ] agda-bin_2.4.0.2-2build1_i386.deb  3.56Mb  October 29 2014 at 18:01  [find mirrors]
[ ] agda-bin_2.4.0.2-2build1_powerpc.deb  3.35Mb  October 29 2014 at 18:50  [find mirrors]
[ ] agda-bin_2.4.0.2-2_i386.deb  3.55Mb  August 11 2014 at 16:53  [find mirrors]
[ ] agda-bin_2.4.0.2-2_powerpc.deb  3.35Mb  August 11 2014 at 17:22  [find mirrors]
[ ] agda-mode_2.2.10-3build1_all.deb  38.95Kb  July 9 2011  [find mirrors]
[ ] agda-mode_2.2.6-3_all.deb  38.36Kb  March 4 2010  [find mirrors]
[ ] agda-mode_2.3.0.1-1build2_all.deb  39.87Kb  April 21 2012  [find mirrors]
[ ] agda-mode_2.3.0.1-2build1_all.deb  43.88Kb  August 27 2012  [find mirrors]
[ ] agda-mode_2.3.2.1-1_all.deb  43.60Kb  June 17 2013  [find mirrors]
[ ] agda-mode_2.3.2-1_all.deb  44.40Kb  April 10 2013  [find mirrors]
[ ] agda-mode_2.3.2.2-1_all.deb  46.95Kb  November 6 2013  [find mirrors]
[ ] agda-mode_2.4.0.2-2_all.deb  39.34Kb  August 11 2014 at 16:53  [find mirrors]
[ ] agda-mode_2.4.0.2-2build1_all.deb  39.29Kb  October 29 2014 at 18:00  [find mirrors]
[ ] haskell-agda-doc_2.2.6-3_all.deb  1.01Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-3_amd64.deb  9.58Mb  March 4 2010  [find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 04
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->