Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
acl2-books_8.4dfsg-2_alpha.deb | 2021-11-07 06:03 | 283M | ||
acl2-books_6.3-6_alpha.deb | 2013-11-20 07:09 | 21M | ||
acl2_8.4dfsg-2_alpha.deb | 2021-11-07 06:03 | 20M | ||
acl2_6.3-6_alpha.deb | 2013-11-20 07:07 | 13M | ||
acl2-infix_8.4dfsg-2_alpha.deb | 2021-11-07 06:03 | 502K | ||
acl2-infix_6.3-6_alpha.deb | 2013-11-20 07:06 | 132K | ||
acl2_8.4dfsg-2_alpha.buildinfo | 2021-11-07 06:03 | 8.2K | ||