| Parent Directory | | | Directory |
| acl2-books-certs_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 4.7M | application/octet-stream |
| acl2-books-certs_3.6-4_all.deb | 2010-Feb-16 03:05:02 | 1.9M | application/octet-stream |
| acl2-books-certs_4.1-5_all.deb | 2010-Nov-08 21:04:51 | 1.9M | application/octet-stream |
| acl2-books-certs_4.2-1_all.deb | 2011-Sep-01 23:03:57 | 1.9M | application/octet-stream |
| acl2-books-certs_4.3-3_all.deb | 2012-May-18 10:33:39 | 4.2M | application/octet-stream |
| acl2-books-certs_6.0-2_all.deb | 2013-Jan-14 02:33:21 | 4.9M | application/octet-stream |
| acl2-books-source_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 2.1M | application/octet-stream |
| acl2-books-source_3.6-4_all.deb | 2010-Feb-16 03:05:02 | 4.7M | application/octet-stream |
| acl2-books-source_4.1-5_all.deb | 2010-Nov-08 21:04:51 | 4.9M | application/octet-stream |
| acl2-books-source_4.2-1_all.deb | 2011-Sep-01 23:03:56 | 4.9M | application/octet-stream |
| acl2-books-source_4.3-3_all.deb | 2012-May-18 10:33:38 | 6.2M | application/octet-stream |
| acl2-books-source_6.0-2_all.deb | 2013-Jan-14 02:33:20 | 7.5M | application/octet-stream |
| acl2-books_3.1-1_i386.deb | 2006-Dec-06 23:04:05 | 1.5M | application/octet-stream |
| acl2-books_3.3-1ubuntu1_amd64.deb | 2008-Feb-16 21:03:53 | 6.1M | application/octet-stream |
| acl2-books_3.6-4_amd64.deb | 2010-Feb-16 03:05:04 | 33.2M | application/octet-stream |
| acl2-books_3.6-4_i386.deb | 2010-Feb-16 03:05:20 | 28.6M | application/octet-stream |
| acl2-books_4.1-5_amd64.deb | 2010-Nov-08 22:04:55 | 39.3M | application/octet-stream |
| acl2-books_4.1-5_i386.deb | 2010-Nov-08 21:04:56 | 34.3M | application/octet-stream |
| acl2-books_4.2-1_amd64.deb | 2011-Sep-02 00:04:02 | 39.4M | application/octet-stream |
| acl2-books_4.2-1_i386.deb | 2011-Sep-01 23:04:04 | 34.4M | application/octet-stream |
| acl2-books_4.3-3_amd64.deb | 2012-May-18 12:34:25 | 15.1M | application/octet-stream |
| acl2-books_4.3-3_i386.deb | 2012-May-18 10:33:42 | 13.3M | application/octet-stream |
| acl2-books_6.0-2_amd64.deb | 2013-Jan-14 03:03:17 | 18M | application/octet-stream |
| acl2-books_6.0-2_i386.deb | 2013-Jan-14 02:33:23 | 15.7M | application/octet-stream |
| acl2-doc_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 1.9M | application/octet-stream |
| acl2-doc_3.6-4_all.deb | 2010-Feb-16 03:05:02 | 2.3M | application/octet-stream |
| acl2-doc_4.1-5_all.deb | 2010-Nov-08 21:04:50 | 2.6M | application/octet-stream |
| acl2-doc_4.2-1_all.deb | 2011-Sep-01 23:03:56 | 263.8K | application/octet-stream |
| acl2-doc_4.3-3_all.deb | 2012-May-18 10:33:38 | 347.6K | application/octet-stream |
| acl2-doc_6.0-2_all.deb | 2013-Jan-14 02:33:20 | 7.2M | application/octet-stream |
| acl2-emacs_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 49.4K | application/octet-stream |
| acl2-emacs_3.6-4_all.deb | 2010-Feb-16 03:05:01 | 55.9K | application/octet-stream |
| acl2-emacs_4.1-5_all.deb | 2010-Nov-08 21:04:50 | 50.1K | application/octet-stream |
| acl2-emacs_4.2-1_all.deb | 2011-Sep-01 23:03:56 | 51.5K | application/octet-stream |
| acl2-emacs_4.3-3_all.deb | 2012-May-18 10:33:37 | 53K | application/octet-stream |
| acl2-emacs_6.0-2_all.deb | 2013-Jan-14 02:33:19 | 54K | application/octet-stream |
| acl2-infix-source_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 83.4K | application/octet-stream |
| acl2-infix-source_3.6-4_all.deb | 2010-Feb-16 03:05:01 | 84.4K | application/octet-stream |
| acl2-infix-source_4.1-5_all.deb | 2010-Nov-08 21:04:50 | 78.5K | application/octet-stream |
| acl2-infix-source_4.2-1_all.deb | 2011-Sep-01 23:03:56 | 79.7K | application/octet-stream |
| acl2-infix-source_4.3-3_all.deb | 2012-May-18 10:33:37 | 86K | application/octet-stream |
| acl2-infix-source_6.0-2_all.deb | 2013-Jan-14 02:33:19 | 86.8K | application/octet-stream |
| acl2-infix_3.1-1_i386.deb | 2006-Dec-06 23:04:04 | 166.1K | application/octet-stream |
| acl2-infix_3.3-1ubuntu1_amd64.deb | 2008-Feb-16 21:03:53 | 194.9K | application/octet-stream |
| acl2-infix_3.6-4_amd64.deb | 2010-Feb-16 03:05:03 | 420.8K | application/octet-stream |
| acl2-infix_3.6-4_i386.deb | 2010-Feb-16 03:05:19 | 379.5K | application/octet-stream |
| acl2-infix_4.1-5_amd64.deb | 2010-Nov-08 22:04:54 | 441.4K | application/octet-stream |
| acl2-infix_4.1-5_i386.deb | 2010-Nov-08 21:04:54 | 402.7K | application/octet-stream |
| acl2-infix_4.2-1_amd64.deb | 2011-Sep-02 00:04:01 | 438.2K | application/octet-stream |
| acl2-infix_4.2-1_i386.deb | 2011-Sep-01 23:04:03 | 400.1K | application/octet-stream |
| acl2-infix_4.3-3_amd64.deb | 2012-May-18 12:34:25 | 194.1K | application/octet-stream |
| acl2-infix_4.3-3_i386.deb | 2012-May-18 10:33:41 | 172.7K | application/octet-stream |
| acl2-infix_6.0-2_amd64.deb | 2013-Jan-14 03:03:16 | 194.6K | application/octet-stream |
| acl2-infix_6.0-2_i386.deb | 2013-Jan-14 02:33:22 | 173.6K | application/octet-stream |
| acl2-source_3.1-1_all.deb | 2006-Dec-06 23:04:04 | 2.2M | application/octet-stream |
| acl2-source_3.6-4_all.deb | 2010-Feb-16 03:05:01 | 2.6M | application/octet-stream |
| acl2-source_4.1-5_all.deb | 2010-Nov-08 21:04:41 | 2.9M | application/octet-stream |
| acl2-source_4.2-1_all.deb | 2011-Sep-01 23:03:56 | 3M | application/octet-stream |
| acl2-source_4.3-3_all.deb | 2012-May-18 10:33:37 | 3.1M | application/octet-stream |
| acl2-source_6.0-2_all.deb | 2013-Jan-14 02:33:19 | 3.5M | application/octet-stream |
| acl2_3.1-1_i386.deb | 2006-Dec-06 23:04:05 | 14.8M | application/octet-stream |
| acl2_3.3-1ubuntu1.diff.gz | 2008-Feb-16 19:03:36 | 13.4K | application/x-gzip |
| acl2_3.3-1ubuntu1.dsc | 2008-Feb-16 19:03:36 | 1K | application/octet-stream |
| acl2_3.3-1ubuntu1_amd64.deb | 2008-Feb-16 21:03:54 | 18.1M | application/octet-stream |
| acl2_3.3.orig.tar.gz | 2007-Dec-04 07:05:11 | 7M | application/x-gzip |
| acl2_3.6-4.diff.gz | 2010-Feb-01 19:06:22 | 14.8K | application/x-gzip |
| acl2_3.6-4.dsc | 2010-Feb-01 19:06:22 | 1.1K | application/octet-stream |
| acl2_3.6-4_amd64.deb | 2010-Feb-16 03:05:04 | 21.8M | application/octet-stream |
| acl2_3.6-4_i386.deb | 2010-Feb-16 03:05:21 | 19.6M | application/octet-stream |
| acl2_3.6.orig.tar.gz | 2010-Feb-01 19:06:22 | 10M | application/x-gzip |
| acl2_4.1-5.debian.tar.gz | 2010-Nov-07 07:05:17 | 17.4K | application/x-gzip |
| acl2_4.1-5.dsc | 2010-Nov-07 07:05:17 | 1.2K | application/octet-stream |
| acl2_4.1-5_amd64.deb | 2010-Nov-08 22:04:55 | 24.7M | application/octet-stream |
| acl2_4.1-5_i386.deb | 2010-Nov-08 21:04:56 | 20.9M | application/octet-stream |
| acl2_4.1.orig.tar.gz | 2010-Oct-15 07:08:17 | 10.9M | application/x-gzip |
| acl2_4.2-1.debian.tar.gz | 2011-May-15 09:04:54 | 17.5K | application/x-gzip |
| acl2_4.2-1.dsc | 2011-May-15 09:04:54 | 1.2K | application/octet-stream |
| acl2_4.2-1_amd64.deb | 2011-Sep-02 00:04:03 | 25.3M | application/octet-stream |
| acl2_4.2-1_i386.deb | 2011-Sep-01 23:04:05 | 21.8M | application/octet-stream |
| acl2_4.2.orig.tar.gz | 2011-May-15 09:04:54 | 11.2M | application/x-gzip |
| acl2_4.3-3.debian.tar.gz | 2012-May-06 00:34:46 | 17.9K | application/x-gzip |
| acl2_4.3-3.dsc | 2012-May-06 00:34:46 | 1.5K | application/octet-stream |
| acl2_4.3-3_amd64.deb | 2012-May-18 12:34:28 | 27.1M | application/octet-stream |
| acl2_4.3-3_i386.deb | 2012-May-18 10:33:45 | 23.3M | application/octet-stream |
| acl2_4.3.orig.tar.gz | 2012-Apr-30 15:43:05 | 14.5M | application/x-gzip |
| acl2_6.0-2.debian.tar.gz | 2013-Jan-14 00:33:22 | 155.3K | application/x-gzip |
| acl2_6.0-2.dsc | 2013-Jan-14 00:33:25 | 1.7K | application/octet-stream |
| acl2_6.0-2_amd64.deb | 2013-Jan-14 03:03:17 | 30.3M | application/octet-stream |
| acl2_6.0-2_i386.deb | 2013-Jan-14 02:33:24 | 25.8M | application/octet-stream |
| acl2_6.0.orig-books.tar.gz | 2013-Jan-13 06:33:54 | 10.5M | application/x-gzip |
| acl2_6.0.orig.tar.gz | 2013-Jan-13 06:33:54 | 6.5M | application/x-gzip |