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

Icon  Name                              Last modified      Size  
[PARENTDIR] Parent Directory                                       -   
[   ] agda-bin_2.3.0.1.orig.tar.gz      2012-03-18 21:33  1.7K  
[TXT] agda-bin_2.3.0.1-1.dsc            2012-03-18 21:33  1.3K  
[   ] agda-bin_2.3.0.1-1.diff.gz        2012-03-18 21:33  2.9K  
[   ] agda-bin_2.2.10.orig.tar.gz       2011-02-27 20:04  1.7K  
[TXT] agda-bin_2.2.10-2.dsc             2011-06-10 11:05  1.9K  
[   ] agda-bin_2.2.10-2.diff.gz         2011-06-10 11:05  2.8K  
[TXT] agda-bin_2.2.10-1~ubuntu1.dsc     2011-02-27 20:04  2.0K  
[   ] agda-bin_2.2.10-1~ubuntu1.diff.gz 2011-02-27 20:04  2.8K  
[   ] agda-bin_2.2.6.orig.tar.gz        2010-01-22 11:08  1.6K  
[TXT] agda-bin_2.2.6-1build1.dsc        2010-02-03 15:04  1.3K  
[   ] agda-bin_2.2.6-1build1.diff.gz    2010-02-03 15:04  2.4K  
[   ] agda-bin_2.2.4.orig.tar.gz        2009-08-24 11:04  1.5K  
[TXT] agda-bin_2.2.4-1.dsc              2009-08-24 11:04  1.1K  
[   ] agda-bin_2.2.4-1.diff.gz          2009-08-24 11:04  2.0K