Name | Last modified | Size | |
---|---|---|---|
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 | |