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

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.3.0.1-1.diff.gz2012-Mar-18 23:33:452.9Kapplication/gzip
agda-bin_2.3.0.1-1.dsc2012-Mar-18 23:33:451.3Kapplication/octet-stream
agda-bin_2.3.0.1-1_amd64.deb2012-Mar-19 00:33:554.6Mapplication/vnd.debian.binary-package
agda-bin_2.3.0.1-1_i386.deb2012-Mar-18 23:33:504.3Mapplication/vnd.debian.binary-package
agda-bin_2.3.0.1.orig.tar.gz2012-Mar-18 23:33:451.7Kapplication/gzip
lighttpd/1.4.45