Index of /freexian/extended-lts/pool/main/a/acl2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 acl2-books-certs_8.0dfsg-1_all.deb  2024-10-28 11:16   70M  
 acl2-books-source_8.0dfsg-1_all.deb 2024-10-28 11:16   12M  
 acl2-books_8.0dfsg-1_amd64.deb      2024-10-28 11:16  132M  
 acl2-books_8.0dfsg-1_i386.deb       2024-10-28 11:16  111M  
 acl2-doc_8.0dfsg-1_all.deb          2024-10-28 11:16  392K  
 acl2-emacs_8.0dfsg-1_all.deb        2024-10-28 11:16   66K  
 acl2-infix-source_8.0dfsg-1_all.deb 2024-10-28 11:16   77K  
 acl2-infix_8.0dfsg-1_amd64.deb      2024-10-28 11:16  422K  
 acl2-infix_8.0dfsg-1_i386.deb       2024-10-28 11:16  390K  
 acl2-source_8.0dfsg-1_all.deb       2024-10-28 11:16  2.9M  
 acl2_8.0dfsg-1_amd64.deb            2024-10-28 11:16   19M  
 acl2_8.0dfsg-1_i386.deb             2024-10-28 11:16   16M