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

Name Last Modified Size Type
Parent Directory  Directory
agda-bin_2.2.10-2.diff.gz2011-Jun-10 07:05:242.8K application/x-gzip
agda-bin_2.2.10-2.dsc2011-Jun-10 07:05:241.9K application/octet-stream
agda-bin_2.2.10-2_amd64.deb2011-Jun-10 07:05:294M application/octet-stream
agda-bin_2.2.10-2_i386.deb2011-Jun-10 07:05:443.8M application/octet-stream
agda-bin_2.2.10.orig.tar.gz2011-Feb-27 15:04:531.7K application/x-gzip
agda-bin_2.2.6-1build1.diff.gz2010-Feb-03 10:04:412.4K application/x-gzip
agda-bin_2.2.6-1build1.dsc2010-Feb-03 10:04:411.3K application/octet-stream
agda-bin_2.2.6-1build1_amd64.deb2010-Feb-03 10:04:422.7M application/octet-stream
agda-bin_2.2.6-1build1_i386.deb2010-Feb-03 10:04:432.6M application/octet-stream
agda-bin_2.2.6.orig.tar.gz2010-Jan-22 06:08:381.6K application/x-gzip
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