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

Name Last Modified Size Type
Parent Directory  Directory
agda-bin_2.5.1-2build2_amd64.deb2016-Aug-09 10:04:384.7M application/octet-stream
agda-bin_2.5.1-2build2_i386.deb2016-Aug-09 09:25:424.7M application/octet-stream
agda-bin_2.5.1.1-3_amd64.deb2016-Nov-13 09:08:274.8M application/octet-stream
agda-bin_2.5.1.1-3_i386.deb2016-Nov-13 08:32:514.8M application/octet-stream
agda-mode_2.5.1-2build2_all.deb2016-Aug-09 10:04:354.2K application/octet-stream
agda-mode_2.5.1.1-3_all.deb2016-Nov-13 09:08:274.1K application/octet-stream
agda_2.5.1-2build2.debian.tar.xz2016-Aug-09 09:19:458.7K application/octet-stream
agda_2.5.1-2build2.dsc2016-Aug-09 09:19:454K application/octet-stream
agda_2.5.1-2build2_all.deb2016-Aug-09 10:04:362.9K application/octet-stream
agda_2.5.1.1-3.debian.tar.xz2016-Nov-13 08:09:168.8K application/octet-stream
agda_2.5.1.1-3.dsc2016-Nov-13 08:09:154.1K application/octet-stream
agda_2.5.1.1-3_all.deb2016-Nov-13 09:08:302.9K application/octet-stream
agda_2.5.1.1.orig.tar.gz2016-Nov-13 08:09:161.1M application/x-gzip
agda_2.5.1.orig.tar.gz2016-Jun-14 19:44:221.1M application/x-gzip
elpa-agda2-mode_2.5.1-2build2_all.deb2016-Aug-09 10:04:3538.9K application/octet-stream
elpa-agda2-mode_2.5.1.1-3_all.deb2016-Nov-13 09:08:3038.8K application/octet-stream
libghc-agda-dev_2.5.1-2build2_amd64.deb2016-Aug-09 10:04:3611.5M application/octet-stream
libghc-agda-dev_2.5.1-2build2_i386.deb2016-Aug-09 09:25:4111.4M application/octet-stream
libghc-agda-dev_2.5.1.1-3_amd64.deb2016-Nov-13 09:08:3012.4M application/octet-stream
libghc-agda-dev_2.5.1.1-3_i386.deb2016-Nov-13 08:32:5112.3M application/octet-stream
libghc-agda-doc_2.5.1-2build2_all.deb2016-Aug-09 10:04:362.3M application/octet-stream
libghc-agda-doc_2.5.1.1-3_all.deb2016-Nov-13 09:08:282.4M application/octet-stream