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

../
acl2-books_8.7+dfsg-2_powerpc.deb                  20-Jun-2026 00:03           458388592
acl2-infix_8.7+dfsg-2_powerpc.deb                  20-Jun-2026 00:03              897732
acl2_8.7+dfsg-2_powerpc.buildinfo                  20-Jun-2026 00:03                8250
acl2_8.7+dfsg-2_powerpc.deb                        20-Jun-2026 00:03            37413132