Index of /extended-lts/pool/main/a/agda-bin/


../
agda-bin_2.3.0.1-1.diff.gz                         12-Mar-2012 13:47                3008
agda-bin_2.3.0.1-1.dsc                             12-Mar-2012 13:47                1370
agda-bin_2.3.0.1-1_amd64.deb                       12-Mar-2012 13:47             4911722
agda-bin_2.3.0.1-1_i386.deb                        12-Mar-2012 23:17             4587078
agda-bin_2.3.0.1.orig.tar.gz                       12-Mar-2012 13:47                1765