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

../
acl2-books_8.7+dfsg-3_powerpc.deb                  18-Jul-2026 12:03           457932932
acl2-infix_8.7+dfsg-3_powerpc.deb                  18-Jul-2026 12:03              896412
acl2_8.7+dfsg-3_powerpc.buildinfo                  18-Jul-2026 12:03                8228
acl2_8.7+dfsg-3_powerpc.deb                        18-Jul-2026 12:03            33284800