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

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