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

Name Last Modified Size Type
Parent Directory  Directory
agda-stdlib-doc_0.12-2build1_all.deb2016-Aug-09 12:15:311.2M application/octet-stream
agda-stdlib-doc_0.12-2build2_all.deb2016-Nov-15 12:08:201.2M application/octet-stream
agda-stdlib_0.12-2build1.debian.tar.xz2016-Aug-09 11:30:114.9K application/octet-stream
agda-stdlib_0.12-2build1.dsc2016-Aug-09 11:30:092.1K application/octet-stream
agda-stdlib_0.12-2build1_all.deb2016-Aug-09 12:15:3216.3M application/octet-stream
agda-stdlib_0.12-2build2.debian.tar.xz2016-Nov-15 12:08:204.9K application/octet-stream
agda-stdlib_0.12-2build2.dsc2016-Nov-15 12:08:202.1K application/octet-stream
agda-stdlib_0.12-2build2_all.deb2016-Nov-15 12:08:2114.9M application/octet-stream
agda-stdlib_0.12.orig.tar.gz2016-Jun-20 19:40:55248.1K application/x-gzip