Index of /uos/pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 27-Mar-2020 21:59     70M
acl2-books-source_8.0dfsg-1_all.deb                27-Mar-2020 21:59     12M
acl2-books_8.0dfsg-1_amd64.deb                     27-Mar-2020 21:59    132M
acl2-books_8.0dfsg-1_arm64.deb                     27-Mar-2020 21:59    135M
acl2-books_8.0dfsg-1_i386.deb                      27-Mar-2020 21:59    111M
acl2-books_8.0dfsg-1_mips64el.deb                  27-Mar-2020 21:59    140M
acl2-doc_8.0dfsg-1_all.deb                         27-Mar-2020 21:59    392K
acl2-emacs_8.0dfsg-1_all.deb                       27-Mar-2020 21:59     66K
acl2-infix-source_8.0dfsg-1_all.deb                27-Mar-2020 21:59     77K
acl2-infix_8.0dfsg-1_amd64.deb                     27-Mar-2020 21:59    422K
acl2-infix_8.0dfsg-1_arm64.deb                     27-Mar-2020 21:59    432K
acl2-infix_8.0dfsg-1_i386.deb                      27-Mar-2020 21:59    390K
acl2-infix_8.0dfsg-1_mips64el.deb                  27-Mar-2020 21:59    440K
acl2-source_8.0dfsg-1_all.deb                      27-Mar-2020 21:59      3M
acl2_8.0dfsg-1.debian.tar.xz                       27-Mar-2020 21:59    200K
acl2_8.0dfsg-1.dsc                                 27-Mar-2020 21:59    2245
acl2_8.0dfsg-1_amd64.deb                           27-Mar-2020 21:59     19M
acl2_8.0dfsg-1_arm64.deb                           27-Mar-2020 21:59     17M
acl2_8.0dfsg-1_i386.deb                            27-Mar-2020 21:59     16M
acl2_8.0dfsg-1_mips64el.deb                        27-Mar-2020 21:59     16M
acl2_8.0dfsg.orig.tar.gz                           27-Mar-2020 21:59     74M