Index of /pub/parrot/pool/main/a/acl2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 acl2-books-certs_8.3dfsg-2_all.deb  2021-01-28 02:25  139M  
 acl2-books-source_8.3dfsg-2_all.deb 2021-01-28 02:25   19M  
 acl2-books_8.3dfsg-2_amd64.deb      2021-01-27 21:57  241M  
 acl2-books_8.3dfsg-2_arm64.deb      2021-01-28 15:43  236M  
 acl2-books_8.3dfsg-2_armhf.deb      2021-01-28 06:42  223M  
 acl2-books_8.3dfsg-2_i386.deb       2021-01-27 22:22  204M  
 acl2-doc_8.3dfsg-2_all.deb          2021-01-28 02:25  437K  
 acl2-emacs_8.3dfsg-2_all.deb        2021-01-28 02:25   68K  
 acl2-infix-source_8.3dfsg-2_all.deb 2021-01-28 02:25   78K  
 acl2-infix_8.3dfsg-2_amd64.deb      2021-01-27 21:57  479K  
 acl2-infix_8.3dfsg-2_arm64.deb      2021-01-28 15:43  469K  
 acl2-infix_8.3dfsg-2_armhf.deb      2021-01-28 06:42  478K  
 acl2-infix_8.3dfsg-2_i386.deb       2021-01-27 22:22  485K  
 acl2-source_8.3dfsg-2_all.deb       2021-01-28 02:25  3.2M  
 acl2_8.3dfsg-2.debian.tar.xz        2021-01-27 14:34  223K  
 acl2_8.3dfsg-2.dsc                  2021-01-27 14:34  2.2K  
 acl2_8.3dfsg-2_amd64.deb            2021-01-27 21:57   20M  
 acl2_8.3dfsg-2_arm64.deb            2021-01-28 15:43   19M  
 acl2_8.3dfsg-2_armhf.deb            2021-01-28 06:42   18M  
 acl2_8.3dfsg-2_i386.deb             2021-01-27 22:22   19M  
 acl2_8.3dfsg.orig.tar.gz            2020-08-24 03:39  112M