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

Icon  Name                             Last modified      Size  Description
[DIR] Parent Directory                                      -   
[   ] acl2-books_8.2dfsg-3_ppc64.deb   31-Dec-2019 19:03  157M  
[   ] acl2-infix_8.2dfsg-3_ppc64.deb   31-Dec-2019 19:03  477K  
[   ] acl2_8.2dfsg-3_ppc64.buildinfo   31-Dec-2019 19:03   11K  
[   ] acl2_8.2dfsg-3_ppc64.deb         31-Dec-2019 19:03   22M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80