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

Name Last Modified Size Type
Parent Directory  Directory
acl2-books-certs_3.6-4_all.deb2010-Feb-16 03:05:021.9M application/octet-stream
acl2-books-certs_4.2-1_all.deb2011-Sep-01 23:03:571.9M application/octet-stream
acl2-books-certs_6.2-6_all.deb2013-Jul-31 10:38:239.7M application/octet-stream
acl2-books-certs_6.3-5_all.deb2013-Oct-24 12:36:2311.1M application/octet-stream
acl2-books-certs_6.4-4_all.deb2014-May-18 08:50:094M application/octet-stream
acl2-books-source_3.6-4_all.deb2010-Feb-16 03:05:024.7M application/octet-stream
acl2-books-source_4.2-1_all.deb2011-Sep-01 23:03:564.9M application/octet-stream
acl2-books-source_6.2-6_all.deb2013-Jul-31 10:38:247.3M application/octet-stream
acl2-books-source_6.3-5_all.deb2013-Oct-24 12:36:249.1M application/octet-stream
acl2-books-source_6.4-4_all.deb2014-May-18 08:50:096.2M application/octet-stream
acl2-books_3.6-4_amd64.deb2010-Feb-16 03:05:0433.2M application/octet-stream
acl2-books_3.6-4_i386.deb2010-Feb-16 03:05:2028.6M application/octet-stream
acl2-books_4.2-1_amd64.deb2011-Sep-02 00:04:0239.4M application/octet-stream
acl2-books_4.2-1_i386.deb2011-Sep-01 23:04:0434.4M application/octet-stream
acl2-books_6.2-6_amd64.deb2013-Jul-31 10:53:3734.1M application/octet-stream
acl2-books_6.2-6_i386.deb2013-Jul-31 10:38:2930.2M application/octet-stream
acl2-books_6.3-5_amd64.deb2013-Oct-24 12:36:2540.1M application/octet-stream
acl2-books_6.3-5_i386.deb2013-Oct-24 12:36:4435.8M application/octet-stream
acl2-books_6.4-4_amd64.deb2014-May-18 08:50:1018.7M application/octet-stream
acl2-books_6.4-4_i386.deb2014-May-18 08:50:1417.1M application/octet-stream
acl2-doc_3.6-4_all.deb2010-Feb-16 03:05:022.3M application/octet-stream
acl2-doc_4.2-1_all.deb2011-Sep-01 23:03:56263.8K application/octet-stream
acl2-doc_6.2-6_all.deb2013-Jul-31 10:38:237.5M application/octet-stream
acl2-doc_6.3-5_all.deb2013-Oct-24 12:36:2512.1M application/octet-stream
acl2-doc_6.4-4_all.deb2014-May-18 08:50:081.6M application/octet-stream
acl2-emacs_3.6-4_all.deb2010-Feb-16 03:05:0155.9K application/octet-stream
acl2-emacs_4.2-1_all.deb2011-Sep-01 23:03:5651.5K application/octet-stream
acl2-emacs_6.2-6_all.deb2013-Jul-31 10:38:2453.4K application/octet-stream
acl2-emacs_6.3-5_all.deb2013-Oct-24 12:36:2455K application/octet-stream
acl2-emacs_6.4-4_all.deb2014-May-18 08:50:0852.8K application/octet-stream
acl2-infix-source_3.6-4_all.deb2010-Feb-16 03:05:0184.4K application/octet-stream
acl2-infix-source_4.2-1_all.deb2011-Sep-01 23:03:5679.7K application/octet-stream
acl2-infix-source_6.2-6_all.deb2013-Jul-31 10:38:2386.2K application/octet-stream
acl2-infix-source_6.3-5_all.deb2013-Oct-24 12:36:2486K application/octet-stream
acl2-infix-source_6.4-4_all.deb2014-May-18 08:50:0870.4K application/octet-stream
acl2-infix_3.6-4_amd64.deb2010-Feb-16 03:05:03420.8K application/octet-stream
acl2-infix_3.6-4_i386.deb2010-Feb-16 03:05:19379.5K application/octet-stream
acl2-infix_4.2-1_amd64.deb2011-Sep-02 00:04:01438.2K application/octet-stream
acl2-infix_4.2-1_i386.deb2011-Sep-01 23:04:03400.1K application/octet-stream
acl2-infix_6.2-6_amd64.deb2013-Jul-31 10:53:36198.1K application/octet-stream
acl2-infix_6.2-6_i386.deb2013-Jul-31 10:38:28181K application/octet-stream
acl2-infix_6.3-5_amd64.deb2013-Oct-24 12:36:25200.3K application/octet-stream
acl2-infix_6.3-5_i386.deb2013-Oct-24 12:36:43189K application/octet-stream
acl2-infix_6.4-4_amd64.deb2014-May-18 08:50:10139.7K application/octet-stream
acl2-infix_6.4-4_i386.deb2014-May-18 08:50:12136.2K application/octet-stream
acl2-source_3.6-4_all.deb2010-Feb-16 03:05:012.6M application/octet-stream
acl2-source_4.2-1_all.deb2011-Sep-01 23:03:563M application/octet-stream
acl2-source_6.2-6_all.deb2013-Jul-31 10:38:233.6M application/octet-stream
acl2-source_6.3-5_all.deb2013-Oct-24 12:36:223.6M application/octet-stream
acl2-source_6.4-4_all.deb2014-May-18 08:50:092.6M application/octet-stream
acl2_3.6-4.diff.gz2010-Feb-01 19:06:2214.8K application/x-gzip
acl2_3.6-4.dsc2010-Feb-01 19:06:221.1K application/octet-stream
acl2_3.6-4_amd64.deb2010-Feb-16 03:05:0421.8M application/octet-stream
acl2_3.6-4_i386.deb2010-Feb-16 03:05:2119.6M application/octet-stream
acl2_3.6.orig.tar.gz2010-Feb-01 19:06:2210M application/x-gzip
acl2_4.2-1.debian.tar.gz2011-May-15 09:04:5417.5K application/x-gzip
acl2_4.2-1.dsc2011-May-15 09:04:541.2K application/octet-stream
acl2_4.2-1_amd64.deb2011-Sep-02 00:04:0325.3M application/octet-stream
acl2_4.2-1_i386.deb2011-Sep-01 23:04:0521.8M application/octet-stream
acl2_4.2.orig.tar.gz2011-May-15 09:04:5411.2M application/x-gzip
acl2_6.2-6.debian.tar.gz2013-Jul-31 05:38:24156.9K application/x-gzip
acl2_6.2-6.dsc2013-Jul-31 05:38:251.7K application/octet-stream
acl2_6.2-6_amd64.deb2013-Jul-31 10:53:4026.8M application/octet-stream
acl2_6.2-6_i386.deb2013-Jul-31 10:38:2723M application/octet-stream
acl2_6.2.orig-books.tar.gz2013-Jul-13 07:28:1810.8M application/x-gzip
acl2_6.2.orig.tar.gz2013-Jul-13 07:28:186.6M application/x-gzip
acl2_6.3-5.debian.tar.gz2013-Oct-21 09:09:58157.7K application/x-gzip
acl2_6.3-5.dsc2013-Oct-21 09:09:591.7K application/octet-stream
acl2_6.3-5_amd64.deb2013-Oct-24 12:36:2626.6M application/octet-stream
acl2_6.3-5_i386.deb2013-Oct-24 12:36:4322.9M application/octet-stream
acl2_6.3.orig-books.tar.gz2013-Oct-21 09:09:5913M application/x-gzip
acl2_6.3.orig.tar.gz2013-Oct-21 09:09:596.7M application/x-gzip
acl2_6.4-4.debian.tar.xz2014-May-18 07:13:33123.8K application/octet-stream
acl2_6.4-4.dsc2014-May-18 07:13:331.8K application/octet-stream
acl2_6.4-4_amd64.deb2014-May-18 08:50:1014.6M application/octet-stream
acl2_6.4-4_i386.deb2014-May-18 08:50:1412.3M application/octet-stream
acl2_6.4.orig-books.tar.gz2014-May-02 19:18:3413.5M application/x-gzip
acl2_6.4.orig.tar.gz2014-May-02 19:18:335.8M application/x-gzip