Index of /sites/raspbian.org/raspbian/pool/main/a/agda-bin

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] agda-bin_2.3.0.1-1.diff.gz                2012-04-19 01:32  2.9K  
[TXT] agda-bin_2.3.0.1-1.dsc                    2012-04-19 01:32  1.3K  
[   ] agda-bin_2.3.0.1-1_armhf.deb              2012-06-23 03:40  6.9M  
[   ] agda-bin_2.3.0.1.orig.tar.gz              2012-04-19 01:32  1.7K