Index of /debian/pool/main/a/acl2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 acl2-books-certs_8.5dfsg-5_all.deb  2023-01-16 15:55  170M  
 acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 15:55   24M  
 acl2-books_8.5dfsg-5_amd64.deb      2023-01-16 21:15  287M  
 acl2-doc_8.5dfsg-5_all.deb          2023-01-16 15:55  470K  
 acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 15:55   71K  
 acl2-infix_8.5dfsg-5_amd64.deb      2023-01-16 21:15  464K  
 acl2-source_8.5dfsg-5_all.deb       2023-01-16 15:55  3.4M  
 acl2_8.5dfsg-5.debian.tar.xz        2023-01-16 03:00  306K  
 acl2_8.5dfsg-5.dsc                  2023-01-16 03:00  2.2K  
 acl2_8.5dfsg-5_amd64.deb            2023-01-16 21:15   22M  
 acl2_8.5dfsg.orig.tar.gz            2022-07-27 16:13  213M  
 elpa-acl2_8.5dfsg-5_all.deb         2023-01-16 15:55   69K