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

../
acl2-books-certs_8.5dfsg-5_all.deb                 02-Aug-2025 07:58    170M
acl2-books-source_8.5dfsg-5_all.deb                02-Aug-2025 07:58     24M
acl2-books_8.5dfsg-5_amd64.deb                     02-Aug-2025 07:58    287M
acl2-books_8.5dfsg-5_arm64.deb                     02-Aug-2025 07:58    289M
acl2-books_8.5dfsg-5_armhf.deb                     02-Aug-2025 07:58    272M
acl2-books_8.5dfsg-5_i386.deb                      02-Aug-2025 07:58    248M
acl2-doc_8.5dfsg-5_all.deb                         02-Aug-2025 07:58    470K
acl2-infix-source_8.5dfsg-5_all.deb                02-Aug-2025 07:58     71K
acl2-infix_8.5dfsg-5_amd64.deb                     02-Aug-2025 07:58    464K
acl2-infix_8.5dfsg-5_arm64.deb                     02-Aug-2025 07:58    461K
acl2-infix_8.5dfsg-5_armhf.deb                     02-Aug-2025 07:58    472K
acl2-infix_8.5dfsg-5_i386.deb                      02-Aug-2025 07:58    477K
acl2-source_8.5dfsg-5_all.deb                      02-Aug-2025 07:58      3M
acl2_8.5dfsg-5.debian.tar.xz                       02-Aug-2025 07:58    306K
acl2_8.5dfsg-5.dsc                                 02-Aug-2025 07:58    2268
acl2_8.5dfsg-5_amd64.deb                           02-Aug-2025 07:58     22M
acl2_8.5dfsg-5_arm64.deb                           02-Aug-2025 07:58     21M
acl2_8.5dfsg-5_armhf.deb                           02-Aug-2025 07:58     19M
acl2_8.5dfsg-5_i386.deb                            02-Aug-2025 07:58     19M
acl2_8.5dfsg.orig.tar.gz                           02-Aug-2025 07:58    213M
elpa-acl2_8.5dfsg-5_all.deb                        02-Aug-2025 07:58     69K