| Name | Size | Date |
|---|---|---|
| ../ | ||
| acl2-books-certs_6.3-5_all.deb | 11Mi | 2014-09-02 21:30:18 |
| acl2-books-source_6.3-5_all.deb | 9Mi | 2014-09-02 21:30:18 |
| acl2-books_6.3-5_amd64.deb | 40Mi | 2014-09-02 21:30:18 |
| acl2-doc_6.3-5_all.deb | 12Mi | 2014-09-02 21:30:17 |
| acl2-emacs_6.3-5_all.deb | 55Ki | 2014-09-02 21:30:18 |
| acl2-infix-source_6.3-5_all.deb | 86Ki | 2014-09-02 21:30:18 |
| acl2-infix_6.3-5_amd64.deb | 200Ki | 2014-09-02 21:30:18 |
| acl2-source_6.3-5_all.deb | 4Mi | 2014-09-02 21:30:18 |
| acl2_6.3-5_amd64.deb | 27Mi | 2014-09-02 21:30:18 |