Index of /ubuntu/pool/universe/a/acl2/

Name Last Modified Size Type
Parent Directory  Directory
acl2-books-certs_7.2dfsg-2_all.deb2016-May-05 02:24:1852.3M application/octet-stream
acl2-books-certs_7.2dfsg-3_all.deb2016-Nov-03 17:25:0051.9M application/octet-stream
acl2-books-source_7.2dfsg-2_all.deb2016-May-05 02:24:0510.7M application/octet-stream
acl2-books-source_7.2dfsg-3_all.deb2016-Nov-03 17:25:0110.4M application/octet-stream
acl2-books_7.2dfsg-2_amd64.deb2016-May-05 02:24:13101.6M application/octet-stream
acl2-books_7.2dfsg-2_i386.deb2016-May-05 03:09:2188.4M application/octet-stream
acl2-books_7.2dfsg-3_amd64.deb2016-Nov-03 17:25:02103.1M application/octet-stream
acl2-books_7.2dfsg-3_i386.deb2016-Nov-03 17:25:2188.5M application/octet-stream
acl2-doc_7.2dfsg-2_all.deb2016-May-05 02:24:04366.4K application/octet-stream
acl2-doc_7.2dfsg-3_all.deb2016-Nov-03 17:25:01365.8K application/octet-stream
acl2-emacs_7.2dfsg-2_all.deb2016-May-05 02:24:1456.2K application/octet-stream
acl2-emacs_7.2dfsg-3_all.deb2016-Nov-03 17:25:0856.1K application/octet-stream
acl2-infix-source_7.2dfsg-2_all.deb2016-May-05 02:24:1370.6K application/octet-stream
acl2-infix-source_7.2dfsg-3_all.deb2016-Nov-03 17:25:0070.5K application/octet-stream
acl2-infix_7.2dfsg-2_amd64.deb2016-May-05 02:24:05392.3K application/octet-stream
acl2-infix_7.2dfsg-2_i386.deb2016-May-05 03:09:20369.1K application/octet-stream
acl2-infix_7.2dfsg-3_amd64.deb2016-Nov-03 17:25:00399.9K application/octet-stream
acl2-infix_7.2dfsg-3_i386.deb2016-Nov-03 17:25:19374.5K application/octet-stream
acl2-source_7.2dfsg-2_all.deb2016-May-05 02:24:132.8M application/octet-stream
acl2-source_7.2dfsg-3_all.deb2016-Nov-03 17:25:022.7M application/octet-stream
acl2_7.2dfsg-2.debian.tar.xz2016-May-04 19:29:30198.9K application/octet-stream
acl2_7.2dfsg-2.dsc2016-May-04 19:29:312.2K application/octet-stream
acl2_7.2dfsg-2_amd64.deb2016-May-05 02:24:1617M application/octet-stream
acl2_7.2dfsg-2_i386.deb2016-May-05 03:09:2215.2M application/octet-stream
acl2_7.2dfsg-3.debian.tar.xz2016-Nov-02 00:04:21199.4K application/octet-stream
acl2_7.2dfsg-3.dsc2016-Nov-02 00:04:202.2K application/octet-stream
acl2_7.2dfsg-3_amd64.deb2016-Nov-03 17:25:0716.8M application/octet-stream
acl2_7.2dfsg-3_i386.deb2016-Nov-03 17:25:2014.7M application/octet-stream
acl2_7.2dfsg.orig.tar.gz2016-Apr-26 18:12:4661.4M application/x-gzip