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

Name Last Modified Size Type
Parent Directory  Directory
acl2-books-certs_3.1-1_all.deb2006-Dec-06 23:04:044.7M application/octet-stream
acl2-books-certs_3.6-4_all.deb2010-Feb-16 03:05:021.9M application/octet-stream
acl2-books-certs_4.1-5_all.deb2010-Nov-08 21:04:511.9M application/octet-stream
acl2-books-certs_4.2-1_all.deb2011-Sep-01 23:03:571.9M application/octet-stream
acl2-books-certs_4.3-3_all.deb2012-May-18 10:33:394.2M application/octet-stream
acl2-books-certs_6.0-2_all.deb2013-Jan-14 02:33:214.9M application/octet-stream
acl2-books-source_3.1-1_all.deb2006-Dec-06 23:04:042.1M application/octet-stream
acl2-books-source_3.6-4_all.deb2010-Feb-16 03:05:024.7M application/octet-stream
acl2-books-source_4.1-5_all.deb2010-Nov-08 21:04:514.9M application/octet-stream
acl2-books-source_4.2-1_all.deb2011-Sep-01 23:03:564.9M application/octet-stream
acl2-books-source_4.3-3_all.deb2012-May-18 10:33:386.2M application/octet-stream
acl2-books-source_6.0-2_all.deb2013-Jan-14 02:33:207.5M application/octet-stream
acl2-books_3.1-1_i386.deb2006-Dec-06 23:04:051.5M application/octet-stream
acl2-books_3.3-1ubuntu1_amd64.deb2008-Feb-16 21:03:536.1M 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.1-5_amd64.deb2010-Nov-08 22:04:5539.3M application/octet-stream
acl2-books_4.1-5_i386.deb2010-Nov-08 21:04:5634.3M 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_4.3-3_amd64.deb2012-May-18 12:34:2515.1M application/octet-stream
acl2-books_4.3-3_i386.deb2012-May-18 10:33:4213.3M application/octet-stream
acl2-books_6.0-2_amd64.deb2013-Jan-14 03:03:1718M application/octet-stream
acl2-books_6.0-2_i386.deb2013-Jan-14 02:33:2315.7M application/octet-stream
acl2-doc_3.1-1_all.deb2006-Dec-06 23:04:041.9M application/octet-stream
acl2-doc_3.6-4_all.deb2010-Feb-16 03:05:022.3M application/octet-stream
acl2-doc_4.1-5_all.deb2010-Nov-08 21:04:502.6M application/octet-stream
acl2-doc_4.2-1_all.deb2011-Sep-01 23:03:56263.8K application/octet-stream
acl2-doc_4.3-3_all.deb2012-May-18 10:33:38347.6K application/octet-stream
acl2-doc_6.0-2_all.deb2013-Jan-14 02:33:207.2M application/octet-stream
acl2-emacs_3.1-1_all.deb2006-Dec-06 23:04:0449.4K application/octet-stream
acl2-emacs_3.6-4_all.deb2010-Feb-16 03:05:0155.9K application/octet-stream
acl2-emacs_4.1-5_all.deb2010-Nov-08 21:04:5050.1K application/octet-stream
acl2-emacs_4.2-1_all.deb2011-Sep-01 23:03:5651.5K application/octet-stream
acl2-emacs_4.3-3_all.deb2012-May-18 10:33:3753K application/octet-stream
acl2-emacs_6.0-2_all.deb2013-Jan-14 02:33:1954K application/octet-stream
acl2-infix-source_3.1-1_all.deb2006-Dec-06 23:04:0483.4K application/octet-stream
acl2-infix-source_3.6-4_all.deb2010-Feb-16 03:05:0184.4K application/octet-stream
acl2-infix-source_4.1-5_all.deb2010-Nov-08 21:04:5078.5K application/octet-stream
acl2-infix-source_4.2-1_all.deb2011-Sep-01 23:03:5679.7K application/octet-stream
acl2-infix-source_4.3-3_all.deb2012-May-18 10:33:3786K application/octet-stream
acl2-infix-source_6.0-2_all.deb2013-Jan-14 02:33:1986.8K application/octet-stream
acl2-infix_3.1-1_i386.deb2006-Dec-06 23:04:04166.1K application/octet-stream
acl2-infix_3.3-1ubuntu1_amd64.deb2008-Feb-16 21:03:53194.9K 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.1-5_amd64.deb2010-Nov-08 22:04:54441.4K application/octet-stream
acl2-infix_4.1-5_i386.deb2010-Nov-08 21:04:54402.7K 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_4.3-3_amd64.deb2012-May-18 12:34:25194.1K application/octet-stream
acl2-infix_4.3-3_i386.deb2012-May-18 10:33:41172.7K application/octet-stream
acl2-infix_6.0-2_amd64.deb2013-Jan-14 03:03:16194.6K application/octet-stream
acl2-infix_6.0-2_i386.deb2013-Jan-14 02:33:22173.6K application/octet-stream
acl2-source_3.1-1_all.deb2006-Dec-06 23:04:042.2M application/octet-stream
acl2-source_3.6-4_all.deb2010-Feb-16 03:05:012.6M application/octet-stream
acl2-source_4.1-5_all.deb2010-Nov-08 21:04:412.9M application/octet-stream
acl2-source_4.2-1_all.deb2011-Sep-01 23:03:563M application/octet-stream
acl2-source_4.3-3_all.deb2012-May-18 10:33:373.1M application/octet-stream
acl2-source_6.0-2_all.deb2013-Jan-14 02:33:193.5M application/octet-stream
acl2_3.1-1_i386.deb2006-Dec-06 23:04:0514.8M application/octet-stream
acl2_3.3-1ubuntu1.diff.gz2008-Feb-16 19:03:3613.4K application/x-gzip
acl2_3.3-1ubuntu1.dsc2008-Feb-16 19:03:361K application/octet-stream
acl2_3.3-1ubuntu1_amd64.deb2008-Feb-16 21:03:5418.1M application/octet-stream
acl2_3.3.orig.tar.gz2007-Dec-04 07:05:117M application/x-gzip
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.1-5.debian.tar.gz2010-Nov-07 07:05:1717.4K application/x-gzip
acl2_4.1-5.dsc2010-Nov-07 07:05:171.2K application/octet-stream
acl2_4.1-5_amd64.deb2010-Nov-08 22:04:5524.7M application/octet-stream
acl2_4.1-5_i386.deb2010-Nov-08 21:04:5620.9M application/octet-stream
acl2_4.1.orig.tar.gz2010-Oct-15 07:08:1710.9M 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_4.3-3.debian.tar.gz2012-May-06 00:34:4617.9K application/x-gzip
acl2_4.3-3.dsc2012-May-06 00:34:461.5K application/octet-stream
acl2_4.3-3_amd64.deb2012-May-18 12:34:2827.1M application/octet-stream
acl2_4.3-3_i386.deb2012-May-18 10:33:4523.3M application/octet-stream
acl2_4.3.orig.tar.gz2012-Apr-30 15:43:0514.5M application/x-gzip
acl2_6.0-2.debian.tar.gz2013-Jan-14 00:33:22155.3K application/x-gzip
acl2_6.0-2.dsc2013-Jan-14 00:33:251.7K application/octet-stream
acl2_6.0-2_amd64.deb2013-Jan-14 03:03:1730.3M application/octet-stream
acl2_6.0-2_i386.deb2013-Jan-14 02:33:2425.8M application/octet-stream
acl2_6.0.orig-books.tar.gz2013-Jan-13 06:33:5410.5M application/x-gzip
acl2_6.0.orig.tar.gz2013-Jan-13 06:33:546.5M application/x-gzip