| ../ | | - | Directory |
| acl2-books-certs_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 6.2M | application/vnd.debian.binary-package |
| acl2-books-certs_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:57 | 69.9M | application/vnd.debian.binary-package |
| acl2-books-source_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 6.6M | application/vnd.debian.binary-package |
| acl2-books-source_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:57 | 11.9M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_amd64.deb | 2014-Sep-08 18:35:45 | 22.0M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_amd64.deb | 2018-Jan-13 16:52:59 | 131.5M | application/vnd.debian.binary-package |
| acl2-doc_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 1.6M | application/vnd.debian.binary-package |
| acl2-doc_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:59 | 392.1K | application/vnd.debian.binary-package |
| acl2-emacs_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 59.4K | application/vnd.debian.binary-package |
| acl2-emacs_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:59 | 66.0K | application/vnd.debian.binary-package |
| acl2-infix-source_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 77.6K | application/vnd.debian.binary-package |
| acl2-infix-source_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:59 | 77.3K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_amd64.deb | 2014-Sep-08 18:35:45 | 146.5K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_amd64.deb | 2018-Jan-13 16:52:59 | 421.9K | application/vnd.debian.binary-package |
| acl2-source_6.5-2_all.deb | 2014-Sep-08 18:35:45 | 2.6M | application/vnd.debian.binary-package |
| acl2-source_8.0dfsg-1_all.deb | 2018-Jan-13 16:52:59 | 2.9M | application/vnd.debian.binary-package |
| acl2_6.5-2_amd64.deb | 2014-Sep-08 18:35:45 | 15.5M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_amd64.deb | 2018-Jan-13 16:52:59 | 18.9M | application/vnd.debian.binary-package |