![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | acl2-books-certs_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 210M |
![]() | acl2-books-source_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 23M |
![]() | acl2-books_8.5dfsg-5_amd64.deb | 2023-10-24 05:26 | 323M |
![]() | acl2-doc_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 474K |
![]() | acl2-infix-source_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 72K |
![]() | acl2-infix_8.5dfsg-5_amd64.deb | 2023-10-24 05:26 | 528K |
![]() | acl2-source_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 3.5M |
![]() | acl2_8.5dfsg-5_amd64.deb | 2023-10-24 05:26 | 26M |
![]() | elpa-acl2_8.5dfsg-5_all.deb | 2023-10-24 05:26 | 71K |