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

Name Last Modified Size Type
Parent Directory  Directory
agda-stdlib-doc_0.3-1ubuntu2_all.deb2010-Feb-16 08:04:461.1M application/octet-stream
agda-stdlib-doc_0.6-2_all.deb2012-Mar-18 18:03:431.6M application/octet-stream
agda-stdlib-doc_0.7-2_all.deb2013-May-27 19:33:481.7M application/octet-stream
agda-stdlib-doc_0.8-2_all.deb2014-Aug-12 13:08:421.2M application/octet-stream
agda-stdlib_0.3-1ubuntu2.diff.gz2010-Feb-16 08:04:443.6K application/x-gzip
agda-stdlib_0.3-1ubuntu2.dsc2010-Feb-16 08:04:441.3K application/octet-stream
agda-stdlib_0.3-1ubuntu2_amd64.deb2010-Feb-16 09:10:5911.5M application/octet-stream
agda-stdlib_0.3-1ubuntu2_i386.deb2010-Feb-16 08:04:5811.5M application/octet-stream
agda-stdlib_0.3.orig.tar.gz2010-Feb-13 11:04:43149.7K application/x-gzip
agda-stdlib_0.6-2.debian.tar.gz2012-Mar-18 17:33:454.1K application/x-gzip
agda-stdlib_0.6-2.dsc2012-Mar-18 17:33:451.4K application/octet-stream
agda-stdlib_0.6-2_all.deb2012-Mar-18 18:03:4516.2M application/octet-stream
agda-stdlib_0.6.orig.tar.gz2012-Jan-03 20:04:51211.2K application/x-gzip
agda-stdlib_0.7-2.debian.tar.gz2013-May-27 19:33:444.4K application/x-gzip
agda-stdlib_0.7-2.dsc2013-May-27 19:33:442K application/octet-stream
agda-stdlib_0.7-2_all.deb2013-May-27 19:33:5017.3M application/octet-stream
agda-stdlib_0.7.orig.tar.gz2013-Apr-10 14:03:22221.1K application/x-gzip
agda-stdlib_0.8-2.debian.tar.xz2014-Aug-12 12:38:344.4K application/octet-stream
agda-stdlib_0.8-2.dsc2014-Aug-12 12:38:342K application/octet-stream
agda-stdlib_0.8-2_all.deb2014-Aug-12 13:08:4222.4M application/octet-stream
agda-stdlib_0.8.orig.tar.gz2014-Aug-05 13:34:18240.4K application/x-gzip