Index of /debian-ports/pool-kfreebsd-i386/main/a/acl2

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory                                              -   
[   ] acl2_8.1dfsg-3_kfreebsd-i386.deb         14-Apr-2019 01:03   18M  
[   ] acl2_8.1dfsg-3_kfreebsd-i386.buildinfo   10-Apr-2019 21:00   11K  
[   ] acl2-infix_8.1dfsg-3_kfreebsd-i386.deb   14-Apr-2019 01:03  443K  
[   ] acl2-books_8.1dfsg-3_kfreebsd-i386.deb   14-Apr-2019 01:03  115M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80