| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| acl2-books_8.5dfsg-5build3_amd64.deb | 221.5 MiB | 2026-Sep-05 23:20 |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 215.8 MiB | 2024-Apr-02 08:03 |
| acl2-books-source_8.5dfsg-5build3_all.deb | 22.7 MiB | 2024-Apr-02 08:02 |