Index of /pub/trisquel-archive/trisquel/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.3.2.2-1_amd64.deb2013-11-06 12:28 5.2M 
[   ]agda-bin_2.3.2.2-1_i386.deb2013-11-06 12:28 4.9M 
[   ]agda-mode_2.3.2.2-1_all.deb2013-11-06 12:28 47K 
[   ]agda_2.2.4+dfsg-1.diff.gz2009-08-24 07:04 4.0K 
[TXT]agda_2.2.4+dfsg-1.dsc2009-08-24 07:04 3.0K 
[   ]agda_2.2.4+dfsg.orig.tar.gz2009-08-24 07:04 369K 
[   ]agda_2.2.6-3.diff.gz2010-03-04 10:05 5.2K 
[TXT]agda_2.2.6-3.dsc2010-03-04 10:05 2.7K 
[   ]agda_2.2.6-7build1.debian.tar.gz2010-05-26 05:04 5.2K 
[TXT]agda_2.2.6-7build1.dsc2010-05-26 05:04 2.3K 
[   ]agda_2.2.6.orig.tar.gz2010-02-02 17:04 414K 
[   ]agda_2.2.10-1~ubuntu1.debian.tar.gz2011-02-24 14:05 8.2K 
[TXT]agda_2.2.10-1~ubuntu1.dsc2011-02-24 14:05 3.1K 
[   ]agda_2.2.10-3build1.debian.tar.gz2011-07-09 18:06 7.5K 
[TXT]agda_2.2.10-3build1.dsc2011-07-09 18:06 3.1K 
[   ]agda_2.2.10.orig.tar.gz2011-02-24 14:05 506K 
[   ]agda_2.3.0.1-1build2.debian.tar.gz2012-04-21 12:33 6.5K 
[TXT]agda_2.3.0.1-1build2.dsc2012-04-21 12:33 3.0K 
[   ]agda_2.3.0.1.orig.tar.gz2012-03-18 08:03 598K 
[   ]agda_2.3.2.2-1.debian.tar.gz2013-11-06 12:28 7.2K 
[TXT]agda_2.3.2.2-1.dsc2013-11-06 12:28 3.2K 
[   ]agda_2.3.2.2-1_all.deb2013-11-06 12:28 2.9K 
[   ]agda_2.3.2.2.orig.tar.gz2013-11-06 12:28 1.9M 
[   ]libghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 12:28 13M 
[   ]libghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 12:28 12M 
[   ]libghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 12:28 2.1M