Index of /debian-ports/pool-sparc64/main/a/acl2/

../
acl2-books_8.7+dfsg-2_sparc64.deb                  19-Jun-2026 12:03           476367476
acl2-infix_8.7+dfsg-2_sparc64.deb                  19-Jun-2026 12:03              921068
acl2_8.7+dfsg-2_sparc64.buildinfo                  19-Jun-2026 12:03                8172
acl2_8.7+dfsg-2_sparc64.deb                        19-Jun-2026 12:03            36867504