Index of /boss/pool/drishti/main/a/agda

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda_2.5.1.1-3.dsc2016-10-28 05:54 4.1K 
[ ]agda_2.5.1.1-3.debian.tar.xz2016-10-28 05:54 8.8K 
[ ]agda-mode_2.5.1.1-3_all.deb2016-10-29 06:26 78K 
[ ]agda_2.5.1.1-3_all.deb2016-10-29 06:26 78K 
[ ]elpa-agda2-mode_2.5.1.1-3_all.deb2016-10-29 06:26 113K 
[ ]agda_2.5.1.1.orig.tar.gz2016-10-17 02:13 1.1M 
[ ]libghc-agda-doc_2.5.1.1-3_all.deb2016-10-29 06:26 2.5M 
[ ]agda-bin_2.5.1.1-3+b3_amd64.deb2016-11-10 23:10 5.9M 
[ ]agda-bin_2.5.1.1-3+b3_i386.deb2016-11-10 22:30 6.0M 
[ ]libghc-agda-dev_2.5.1.1-3+b3_amd64.deb2016-11-10 23:10 12M 
[ ]libghc-agda-dev_2.5.1.1-3+b3_i386.deb2016-11-10 22:30 14M