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

../
acl2-books_8.7+dfsg-3_sparc64.deb                  19-Jul-2026 00:03           476259348
acl2-infix_8.7+dfsg-3_sparc64.deb                  19-Jul-2026 00:03              919188
acl2_8.7+dfsg-3_sparc64.buildinfo                  19-Jul-2026 00:03                8154
acl2_8.7+dfsg-3_sparc64.deb                        19-Jul-2026 00:03            31406040