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

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