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