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

[ ] libghc6-agda-dev_2.2.6-3_armel.deb  15.88Mb  April 18 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-3_i386.deb  9.09Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-3_powerpc.deb  12.57Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-3_sparc.deb  16.90Mb  March 5 2010  [find mirrors]
[ ] libghc6-agda-prof_2.2.6-3_amd64.deb  14.18Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-prof_2.2.6-3_armel.deb  19.64Mb  April 18 2010  [find mirrors]
[ ] libghc6-agda-prof_2.2.6-3_i386.deb  12.99Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-prof_2.2.6-3_powerpc.deb  19.94Mb  March 4 2010  [find mirrors]
[ ] libghc6-agda-prof_2.2.6-3_sparc.deb  21.27Mb  March 5 2010  [find mirrors]
[ ] libghc-agda-dev_2.2.10-3build1_amd64.deb  10.37Mb  July 9 2011  [find mirrors]
[ ] libghc-agda-dev_2.2.10-3build1_i386.deb  9.74Mb  July 9 2011  [find mirrors]
[ ] libghc-agda-dev_2.2.10-3build1_powerpc.deb  13.24Mb  July 9 2011  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_amd64.deb  12.43Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_armel.deb  17.86Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_armhf.deb  17.85Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_i386.deb  11.82Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_powerpc.deb  15.69Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2build1_amd64.deb  12.58Mb  August 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2build1_armel.deb  16.91Mb  August 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2build1_armhf.deb  18.00Mb  August 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2build1_i386.deb  11.96Mb  August 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2build1_powerpc.deb  15.81Mb  August 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.2.1-1_amd64.deb  12.94Mb  June 17 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2.1-1_i386.deb  12.30Mb  June 17 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2.1-1_powerpc.deb  14.83Mb  June 17 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2-1_amd64.deb  12.97Mb  April 10 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2-1_armhf.deb  18.36Mb  April 10 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2-1_i386.deb  12.33Mb  April 10 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2-1_powerpc.deb  14.85Mb  April 10 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2.2-1_amd64.deb  12.96Mb  November 6 2013  [find mirrors]

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