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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.2.4-1.diff.gz2009-08-24 07:04 2.0K 
[TXT]agda-bin_2.2.4-1.dsc2009-08-24 07:04 1.1K 
[   ]agda-bin_2.2.4.orig.tar.gz2009-08-24 07:04 1.5K 
[   ]agda-bin_2.2.6-1build1.diff.gz2010-02-03 10:04 2.4K 
[TXT]agda-bin_2.2.6-1build1.dsc2010-02-03 10:04 1.3K 
[   ]agda-bin_2.2.6.orig.tar.gz2010-01-22 06:08 1.6K 
[   ]agda-bin_2.2.10-1~ubuntu1.diff.gz2011-02-27 15:04 2.8K 
[TXT]agda-bin_2.2.10-1~ubuntu1.dsc2011-02-27 15:04 2.0K 
[   ]agda-bin_2.2.10-2.diff.gz2011-06-10 07:05 2.8K 
[TXT]agda-bin_2.2.10-2.dsc2011-06-10 07:05 1.9K 
[   ]agda-bin_2.2.10.orig.tar.gz2011-02-27 15:04 1.7K 
[   ]agda-bin_2.3.0.1-1.diff.gz2012-03-18 17:33 2.9K 
[TXT]agda-bin_2.3.0.1-1.dsc2012-03-18 17:33 1.3K 
[   ]agda-bin_2.3.0.1.orig.tar.gz2012-03-18 17:33 1.7K