| ../ | | - | Directory |
| acl2-books-certs_3.6-4_all.deb | 2010-Feb-16 09:05:02 | 1.8M | application/vnd.debian.binary-package |
| acl2-books-certs_4.2-1_all.deb | 2011-Sep-02 05:03:57 | 1.9M | application/vnd.debian.binary-package |
| acl2-books-certs_4.3-3_all.deb | 2012-May-18 16:33:39 | 4.2M | application/vnd.debian.binary-package |
| acl2-books-certs_6.0-2_all.deb | 2013-Jan-14 08:33:21 | 4.9M | application/vnd.debian.binary-package |
| acl2-books-certs_6.2-6_all.deb | 2013-Jul-31 16:38:23 | 9.7M | application/vnd.debian.binary-package |
| acl2-books-certs_6.3-5_all.deb | 2013-Oct-24 18:36:23 | 11.1M | application/vnd.debian.binary-package |
| acl2-books-source_3.6-4_all.deb | 2010-Feb-16 09:05:02 | 4.7M | application/vnd.debian.binary-package |
| acl2-books-source_4.2-1_all.deb | 2011-Sep-02 05:03:56 | 4.9M | application/vnd.debian.binary-package |
| acl2-books-source_4.3-3_all.deb | 2012-May-18 16:33:38 | 6.1M | application/vnd.debian.binary-package |
| acl2-books-source_6.0-2_all.deb | 2013-Jan-14 08:33:20 | 7.4M | application/vnd.debian.binary-package |
| acl2-books-source_6.2-6_all.deb | 2013-Jul-31 16:38:24 | 7.3M | application/vnd.debian.binary-package |
| acl2-books-source_6.3-5_all.deb | 2013-Oct-24 18:36:24 | 9.1M | application/vnd.debian.binary-package |
| acl2-books_3.6-4_amd64.deb | 2010-Feb-16 09:05:04 | 33.1M | application/vnd.debian.binary-package |
| acl2-books_3.6-4_i386.deb | 2010-Feb-16 09:05:20 | 28.6M | application/vnd.debian.binary-package |
| acl2-books_4.2-1_amd64.deb | 2011-Sep-02 06:04:02 | 39.4M | application/vnd.debian.binary-package |
| acl2-books_4.2-1_i386.deb | 2011-Sep-02 05:04:04 | 34.4M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_amd64.deb | 2012-May-18 18:34:25 | 15.1M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_i386.deb | 2012-May-18 16:33:42 | 13.2M | application/vnd.debian.binary-package |
| acl2-books_6.0-2_amd64.deb | 2013-Jan-14 09:03:17 | 18.0M | application/vnd.debian.binary-package |
| acl2-books_6.0-2_i386.deb | 2013-Jan-14 08:33:23 | 15.6M | application/vnd.debian.binary-package |
| acl2-books_6.2-6_amd64.deb | 2013-Jul-31 16:53:37 | 34.1M | application/vnd.debian.binary-package |
| acl2-books_6.2-6_i386.deb | 2013-Jul-31 16:38:29 | 30.2M | application/vnd.debian.binary-package |
| acl2-books_6.3-5_amd64.deb | 2013-Oct-24 18:36:25 | 40.1M | application/vnd.debian.binary-package |
| acl2-books_6.3-5_i386.deb | 2013-Oct-24 18:36:44 | 35.8M | application/vnd.debian.binary-package |
| acl2-doc_3.6-4_all.deb | 2010-Feb-16 09:05:02 | 2.2M | application/vnd.debian.binary-package |
| acl2-doc_4.2-1_all.deb | 2011-Sep-02 05:03:56 | 263.7K | application/vnd.debian.binary-package |
| acl2-doc_4.3-3_all.deb | 2012-May-18 16:33:38 | 347.6K | application/vnd.debian.binary-package |
| acl2-doc_6.0-2_all.deb | 2013-Jan-14 08:33:20 | 7.2M | application/vnd.debian.binary-package |
| acl2-doc_6.2-6_all.deb | 2013-Jul-31 16:38:23 | 7.4M | application/vnd.debian.binary-package |
| acl2-doc_6.3-5_all.deb | 2013-Oct-24 18:36:25 | 12.1M | application/vnd.debian.binary-package |
| acl2-emacs_3.6-4_all.deb | 2010-Feb-16 09:05:01 | 55.9K | application/vnd.debian.binary-package |
| acl2-emacs_4.2-1_all.deb | 2011-Sep-02 05:03:56 | 51.5K | application/vnd.debian.binary-package |
| acl2-emacs_4.3-3_all.deb | 2012-May-18 16:33:37 | 52.9K | application/vnd.debian.binary-package |
| acl2-emacs_6.0-2_all.deb | 2013-Jan-14 08:33:19 | 54.0K | application/vnd.debian.binary-package |
| acl2-emacs_6.2-6_all.deb | 2013-Jul-31 16:38:24 | 53.4K | application/vnd.debian.binary-package |
| acl2-emacs_6.3-5_all.deb | 2013-Oct-24 18:36:24 | 54.9K | application/vnd.debian.binary-package |
| acl2-infix-source_3.6-4_all.deb | 2010-Feb-16 09:05:01 | 84.3K | application/vnd.debian.binary-package |
| acl2-infix-source_4.2-1_all.deb | 2011-Sep-02 05:03:56 | 79.6K | application/vnd.debian.binary-package |
| acl2-infix-source_4.3-3_all.deb | 2012-May-18 16:33:37 | 85.9K | application/vnd.debian.binary-package |
| acl2-infix-source_6.0-2_all.deb | 2013-Jan-14 08:33:19 | 86.8K | application/vnd.debian.binary-package |
| acl2-infix-source_6.2-6_all.deb | 2013-Jul-31 16:38:23 | 86.2K | application/vnd.debian.binary-package |
| acl2-infix-source_6.3-5_all.deb | 2013-Oct-24 18:36:24 | 85.9K | application/vnd.debian.binary-package |
| acl2-infix_3.6-4_amd64.deb | 2010-Feb-16 09:05:03 | 420.7K | application/vnd.debian.binary-package |
| acl2-infix_3.6-4_i386.deb | 2010-Feb-16 09:05:19 | 379.4K | application/vnd.debian.binary-package |
| acl2-infix_4.2-1_amd64.deb | 2011-Sep-02 06:04:01 | 438.2K | application/vnd.debian.binary-package |
| acl2-infix_4.2-1_i386.deb | 2011-Sep-02 05:04:03 | 400.1K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_amd64.deb | 2012-May-18 18:34:25 | 194.1K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_i386.deb | 2012-May-18 16:33:41 | 172.6K | application/vnd.debian.binary-package |
| acl2-infix_6.0-2_amd64.deb | 2013-Jan-14 09:03:16 | 194.5K | application/vnd.debian.binary-package |
| acl2-infix_6.0-2_i386.deb | 2013-Jan-14 08:33:22 | 173.6K | application/vnd.debian.binary-package |
| acl2-infix_6.2-6_amd64.deb | 2013-Jul-31 16:53:36 | 198.0K | application/vnd.debian.binary-package |
| acl2-infix_6.2-6_i386.deb | 2013-Jul-31 16:38:28 | 180.9K | application/vnd.debian.binary-package |
| acl2-infix_6.3-5_amd64.deb | 2013-Oct-24 18:36:25 | 200.3K | application/vnd.debian.binary-package |
| acl2-infix_6.3-5_i386.deb | 2013-Oct-24 18:36:43 | 189.0K | application/vnd.debian.binary-package |
| acl2-source_3.6-4_all.deb | 2010-Feb-16 09:05:01 | 2.6M | application/vnd.debian.binary-package |
| acl2-source_4.2-1_all.deb | 2011-Sep-02 05:03:56 | 2.9M | application/vnd.debian.binary-package |
| acl2-source_4.3-3_all.deb | 2012-May-18 16:33:37 | 3.1M | application/vnd.debian.binary-package |
| acl2-source_6.0-2_all.deb | 2013-Jan-14 08:33:19 | 3.5M | application/vnd.debian.binary-package |
| acl2-source_6.2-6_all.deb | 2013-Jul-31 16:38:23 | 3.5M | application/vnd.debian.binary-package |
| acl2-source_6.3-5_all.deb | 2013-Oct-24 18:36:22 | 3.6M | application/vnd.debian.binary-package |
| acl2_3.6-4.diff.gz | 2010-Feb-02 01:06:22 | 14.8K | application/gzip |
| acl2_3.6-4.dsc | 2010-Feb-02 01:06:22 | 1.1K | application/octet-stream |
| acl2_3.6-4_amd64.deb | 2010-Feb-16 09:05:04 | 21.8M | application/vnd.debian.binary-package |
| acl2_3.6-4_i386.deb | 2010-Feb-16 09:05:21 | 19.5M | application/vnd.debian.binary-package |
| acl2_3.6.orig.tar.gz | 2010-Feb-02 01:06:22 | 10.0M | application/gzip |
| acl2_4.2-1.debian.tar.gz | 2011-May-15 15:04:54 | 17.4K | application/gzip |
| acl2_4.2-1.dsc | 2011-May-15 15:04:54 | 1.1K | application/octet-stream |
| acl2_4.2-1_amd64.deb | 2011-Sep-02 06:04:03 | 25.3M | application/vnd.debian.binary-package |
| acl2_4.2-1_i386.deb | 2011-Sep-02 05:04:05 | 21.7M | application/vnd.debian.binary-package |
| acl2_4.2.orig.tar.gz | 2011-May-15 15:04:54 | 11.1M | application/gzip |
| acl2_4.3-3.debian.tar.gz | 2012-May-06 06:34:46 | 17.8K | application/gzip |
| acl2_4.3-3.dsc | 2012-May-06 06:34:46 | 1.4K | application/octet-stream |
| acl2_4.3-3_amd64.deb | 2012-May-18 18:34:28 | 27.0M | application/vnd.debian.binary-package |
| acl2_4.3-3_i386.deb | 2012-May-18 16:33:45 | 23.2M | application/vnd.debian.binary-package |
| acl2_4.3.orig.tar.gz | 2012-Apr-30 21:43:05 | 14.5M | application/gzip |
| acl2_6.0-2.debian.tar.gz | 2013-Jan-14 06:33:22 | 155.3K | application/gzip |
| acl2_6.0-2.dsc | 2013-Jan-14 06:33:25 | 1.7K | application/octet-stream |
| acl2_6.0-2_amd64.deb | 2013-Jan-14 09:03:17 | 30.2M | application/vnd.debian.binary-package |
| acl2_6.0-2_i386.deb | 2013-Jan-14 08:33:24 | 25.8M | application/vnd.debian.binary-package |
| acl2_6.0.orig-books.tar.gz | 2013-Jan-13 12:33:54 | 10.4M | application/gzip |
| acl2_6.0.orig.tar.gz | 2013-Jan-13 12:33:54 | 6.4M | application/gzip |
| acl2_6.2-6.debian.tar.gz | 2013-Jul-31 11:38:24 | 156.9K | application/gzip |
| acl2_6.2-6.dsc | 2013-Jul-31 11:38:25 | 1.7K | application/octet-stream |
| acl2_6.2-6_amd64.deb | 2013-Jul-31 16:53:40 | 26.8M | application/vnd.debian.binary-package |
| acl2_6.2-6_i386.deb | 2013-Jul-31 16:38:27 | 22.9M | application/vnd.debian.binary-package |
| acl2_6.2.orig-books.tar.gz | 2013-Jul-13 13:28:18 | 10.8M | application/gzip |
| acl2_6.2.orig.tar.gz | 2013-Jul-13 13:28:18 | 6.6M | application/gzip |
| acl2_6.3-5.debian.tar.gz | 2013-Oct-21 15:09:58 | 157.7K | application/gzip |
| acl2_6.3-5.dsc | 2013-Oct-21 15:09:59 | 1.7K | application/octet-stream |
| acl2_6.3-5_amd64.deb | 2013-Oct-24 18:36:26 | 26.6M | application/vnd.debian.binary-package |
| acl2_6.3-5_i386.deb | 2013-Oct-24 18:36:43 | 22.9M | application/vnd.debian.binary-package |
| acl2_6.3-6.debian.tar.gz | 2013-Nov-17 18:18:27 | 157.6K | application/gzip |
| acl2_6.3-6.dsc | 2013-Nov-17 18:18:27 | 1.7K | application/octet-stream |
| acl2_6.3.orig-books.tar.gz | 2013-Oct-21 15:09:59 | 12.9M | application/gzip |
| acl2_6.3.orig.tar.gz | 2013-Oct-21 15:09:59 | 6.7M | application/gzip |