Folder Path
/
debian-ports
/
pool-powerpc
/
main
/
a
/
acl2
/
0
directories
4
files
469 MiB
total
List
Grid
Name
Size
Modified
Up
acl2-books_8.7+dfsg-3_powerpc.deb
437 MiB
07/18/2026 12:03:02 PM +00:00
acl2-infix_8.7+dfsg-3_powerpc.deb
875 KiB
07/18/2026 12:03:02 PM +00:00
acl2_8.7+dfsg-3_powerpc.buildinfo
8.0 KiB
07/18/2026 12:03:02 PM +00:00
acl2_8.7+dfsg-3_powerpc.deb
32 MiB
07/18/2026 12:03:02 PM +00:00