Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
acl2-books-certs_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 170M | ||
acl2-books-source_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 24M | ||
acl2-doc_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 470K | ||
acl2-infix-source_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 71K | ||
acl2-source_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 3.4M | ||
elpa-acl2_8.5dfsg-5_all.deb | 2023-01-16 14:55 | 69K | ||