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

../
acl2-books_8.7+dfsg-2_ppc64.deb                    18-Jun-2026 06:03           490746360
acl2-books_8.7+dfsg-3_ppc64.deb                    18-Jul-2026 06:03           490673156
acl2-infix_8.7+dfsg-2_ppc64.deb                    18-Jun-2026 06:03              900364
acl2-infix_8.7+dfsg-3_ppc64.deb                    18-Jul-2026 06:03              901220
acl2_8.7+dfsg-2_ppc64.buildinfo                    18-Jun-2026 06:03                8329
acl2_8.7+dfsg-2_ppc64.deb                          18-Jun-2026 06:03            41139892
acl2_8.7+dfsg-3_ppc64.buildinfo                    18-Jul-2026 06:03                8291
acl2_8.7+dfsg-3_ppc64.deb                          18-Jul-2026 06:03            36406332