Folder Path
/
debian-ports
/
pool-ppc64
/
main
/
a
/
acl2
/
0
directories
4
files
504 MiB
total
List
Grid
Name
Size
Modified
Up
acl2-books_8.7+dfsg-3_ppc64.deb
468 MiB
07/18/2026 06:03:02 AM +00:00
acl2-infix_8.7+dfsg-3_ppc64.deb
880 KiB
07/18/2026 06:03:02 AM +00:00
acl2_8.7+dfsg-3_ppc64.buildinfo
8.1 KiB
07/18/2026 06:03:02 AM +00:00
acl2_8.7+dfsg-3_ppc64.deb
35 MiB
07/18/2026 06:03:02 AM +00:00