| Parent directory/ | - | - |
| acl2-infix-source_8.0dfsg-1_all.deb | 77.3 KiB | 2024-May-07 15:20 |
| acl2-books-certs_8.0dfsg-1_all.deb | 69.9 MiB | 2024-May-07 15:44 |
| acl2_8.0dfsg-1_amd64.deb | 18.9 MiB | 2024-May-07 15:47 |
| acl2-emacs_8.0dfsg-1_all.deb | 66.0 KiB | 2024-May-07 15:58 |
| acl2-books_8.0dfsg-1_amd64.deb | 131.6 MiB | 2024-May-07 16:00 |
| acl2-infix_8.0dfsg-1_amd64.deb | 421.9 KiB | 2024-May-07 17:21 |
| acl2-source_8.0dfsg-1_all.deb | 2.9 MiB | 2024-May-07 18:56 |
| acl2-doc_8.0dfsg-1_all.deb | 392.1 KiB | 2024-May-07 19:16 |
| acl2-books-source_8.0dfsg-1_all.deb | 11.9 MiB | 2024-May-07 19:21 |
| acl2-infix_8.0dfsg-1_i386.deb | 390.0 KiB | 2024-May-08 06:22 |
| acl2_8.0dfsg-1_i386.deb | 16.2 MiB | 2024-May-08 06:26 |
| acl2-books_8.0dfsg-1_i386.deb | 110.6 MiB | 2024-May-08 06:42 |
| acl2-infix-source_6.5-2_all.deb | 77.6 KiB | 2024-May-08 10:59 |
| acl2-doc_6.5-2_all.deb | 1.6 MiB | 2024-May-08 11:04 |
| acl2-emacs_6.5-2_all.deb | 59.4 KiB | 2024-May-08 13:38 |
| acl2-books-source_6.5-2_all.deb | 6.6 MiB | 2024-May-08 14:14 |
| acl2-books_6.5-2_amd64.deb | 22.1 MiB | 2024-May-08 14:22 |
| acl2-source_6.5-2_all.deb | 2.6 MiB | 2024-May-08 15:20 |
| acl2-infix_6.5-2_amd64.deb | 146.5 KiB | 2024-May-08 16:17 |
| acl2-books-certs_6.5-2_all.deb | 6.2 MiB | 2024-May-08 16:47 |
| acl2_6.5-2_amd64.deb | 15.6 MiB | 2024-May-08 17:20 |
| acl2-doc_7.2dfsg-3_all.deb | 372.3 KiB | 2024-May-09 08:18 |
| acl2-books-certs_7.2dfsg-3_all.deb | 52.3 MiB | 2024-May-15 14:56 |
| acl2-books-source_7.2dfsg-3_all.deb | 10.4 MiB | 2024-May-15 15:03 |
| acl2-infix_7.2dfsg-3_amd64.deb | 409.9 KiB | 2024-May-15 15:09 |
| acl2-source_7.2dfsg-3_all.deb | 2.8 MiB | 2024-May-15 16:08 |
| acl2_7.2dfsg-3_amd64.deb | 17.3 MiB | 2024-May-15 16:43 |
| acl2-infix-source_7.2dfsg-3_all.deb | 77.0 KiB | 2024-May-15 16:43 |
| acl2-books_7.2dfsg-3_amd64.deb | 103.1 MiB | 2024-May-15 17:06 |
| acl2-emacs_7.2dfsg-3_all.deb | 62.6 KiB | 2024-May-15 17:22 |