Index of /trisquel/pool/main/a/agda

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