Index of /ubuntu/pool/universe/a/agda-bin/

Name Last Modified Size Type
Parent Directory  Directory
agda-bin_2.3.0.1-1.diff.gz2012-Mar-18 17:33:452.9K application/x-gzip
agda-bin_2.3.0.1-1.dsc2012-Mar-18 17:33:451.3K application/octet-stream
agda-bin_2.3.0.1-1_amd64.deb2012-Mar-18 18:33:554.7M application/octet-stream
agda-bin_2.3.0.1-1_i386.deb2012-Mar-18 17:33:504.4M application/octet-stream
agda-bin_2.3.0.1.orig.tar.gz2012-Mar-18 17:33:451.7K application/x-gzip