Index of /deepin/pool/main/a/acl2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 acl2-books-certs_8.0dfsg-1_all.deb  2022-04-11 05:40   70M  
 acl2-books-source_8.0dfsg-1_all.deb 2022-04-11 05:43   12M  
 acl2-books_8.0dfsg-1_amd64.deb      2022-04-11 05:13  132M  
 acl2-books_8.0dfsg-1_i386.deb       2022-04-11 04:57  111M  
 acl2-doc_8.0dfsg-1_all.deb          2022-04-11 05:20  392K  
 acl2-emacs_8.0dfsg-1_all.deb        2022-04-11 05:17   66K  
 acl2-infix-source_8.0dfsg-1_all.deb 2022-04-11 05:10   77K  
 acl2-infix_8.0dfsg-1_amd64.deb      2022-04-11 05:44  422K  
 acl2-infix_8.0dfsg-1_i386.deb       2022-04-11 05:06  390K  
 acl2-source_8.0dfsg-1_all.deb       2022-04-11 04:56  2.9M  
 acl2_8.0dfsg-1.debian.tar.xz        2022-04-11 05:44  200K  
 acl2_8.0dfsg-1.dsc                  2022-04-11 05:44  2.2K  
 acl2_8.0dfsg-1_amd64.deb            2022-04-11 05:30   19M  
 acl2_8.0dfsg-1_i386.deb             2022-04-11 05:02   16M  
 acl2_8.0dfsg.orig.tar.gz            2022-04-11 05:44   74M