Index of /201510011644/raspbian/pool/main/a/agda-bin/


../
agda-bin_2.3.0.1-1.diff.gz                         18-Apr-2012 23:32                3008
agda-bin_2.3.0.1-1.dsc                             18-Apr-2012 23:32                1370
agda-bin_2.3.0.1-1_armhf.deb                       23-Jun-2012 01:40             7184944
agda-bin_2.3.0.1.orig.tar.gz                       18-Apr-2012 23:32                1765