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