Index of /gnewsense/pool/main/a/agda

      Name                                   Last modified      Size  Description
Parent Directory - agda-mode_2.2.6-7_all.deb 2010-05-06 05:02 39K agda-mode_2.3.0.1-2_all.deb 2012-05-26 22:32 45K agda_2.2.6-7.debian.tar.gz 2010-05-06 05:02 5.2K agda_2.2.6-7.dsc 2010-05-06 05:02 2.2K agda_2.2.6.orig.tar.gz 2010-01-07 19:47 414K agda_2.3.0.1-2.debian.tar.gz 2012-05-26 22:32 6.7K agda_2.3.0.1-2.dsc 2012-05-26 22:32 2.3K agda_2.3.0.1-2_all.deb 2012-05-26 22:32 13K agda_2.3.0.1.orig.tar.gz 2012-03-12 13:32 598K libghc-agda-dev_2.3.0.1-2+b1_amd64.deb 2012-05-28 00:02 12M libghc-agda-dev_2.3.0.1-2_i386.deb 2012-05-26 23:32 12M libghc-agda-doc_2.3.0.1-2_all.deb 2012-05-26 22:32 1.7M libghc6-agda-dev_2.2.6-7_amd64.deb 2010-05-06 05:02 9.6M libghc6-agda-dev_2.2.6-7_i386.deb 2010-05-06 08:17 9.1M libghc6-agda-dev_2.2.6-7_mipsel.deb 2010-05-06 22:47 17M libghc6-agda-doc_2.2.6-7_all.deb 2010-05-06 05:02 1.0M
ftp.heanet.ie