Index of /trisquel/pool/main/a/agda
Name Last modified Size
Parent Directory -
agda_2.2.6-7build1.dsc 2010-05-26 09:04 2.3K
agda_2.2.6-3.dsc 2010-03-04 15:05 2.7K
agda_2.3.2.2-1_all.deb 2013-11-06 17:28 2.9K
agda_2.2.4+dfsg-1.dsc 2009-08-24 11:04 3.0K
agda_2.3.0.1-1build2.dsc 2012-04-21 16:33 3.0K
agda_2.2.10-1~ubuntu1.dsc 2011-02-24 19:05 3.1K
agda_2.2.10-3build1.dsc 2011-07-09 22:06 3.1K
agda_2.3.2.2-1.dsc 2013-11-06 17:28 3.2K
agda_2.2.4+dfsg-1.diff.gz 2009-08-24 11:04 4.0K
agda_2.2.6-3.diff.gz 2010-03-04 15:05 5.2K
agda_2.2.6-7build1.debian.tar.gz 2010-05-26 09:04 5.2K
agda_2.3.0.1-1build2.debian.tar.gz 2012-04-21 16:33 6.5K
agda_2.3.2.2-1.debian.tar.gz 2013-11-06 17:28 7.2K
agda_2.2.10-3build1.debian.tar.gz 2011-07-09 22:06 7.5K
agda_2.2.10-1~ubuntu1.debian.tar.gz 2011-02-24 19:05 8.2K
agda-mode_2.3.2.2-1_all.deb 2013-11-06 17:28 47K
agda_2.2.4+dfsg.orig.tar.gz 2009-08-24 11:04 369K
agda_2.2.6.orig.tar.gz 2010-02-02 22:04 414K
agda_2.2.10.orig.tar.gz 2011-02-24 19:05 506K
agda_2.3.0.1.orig.tar.gz 2012-03-18 12:03 598K
agda_2.3.2.2.orig.tar.gz 2013-11-06 17:28 1.9M
libghc-agda-doc_2.3.2.2-1_all.deb 2013-11-06 17:28 2.1M
agda-bin_2.3.2.2-1_i386.deb 2013-11-06 17:28 4.9M
agda-bin_2.3.2.2-1_amd64.deb 2013-11-06 17:28 5.2M
libghc-agda-dev_2.3.2.2-1_i386.deb 2013-11-06 17:28 12M
libghc-agda-dev_2.3.2.2-1_amd64.deb 2013-11-06 17:28 13M