Index of /nfs-4.0/pool/upstream/a/acl2/

../
acl2-books-certs_7.2dfsg-3_all.deb                 27-Nov-2019 14:57            54799678
acl2-books-source_7.2dfsg-3_all.deb                27-Nov-2019 14:57            10864188
acl2-books_7.2dfsg-3_amd64.deb                     27-Nov-2019 14:57           108111876
acl2-doc_7.2dfsg-3_all.deb                         27-Nov-2019 14:57              381186
acl2-emacs_7.2dfsg-3_all.deb                       27-Nov-2019 14:57               64070
acl2-infix-source_7.2dfsg-3_all.deb                27-Nov-2019 14:57               78840
acl2-infix_7.2dfsg-3_amd64.deb                     27-Nov-2019 14:57              419740
acl2-source_7.2dfsg-3_all.deb                      27-Nov-2019 14:57             2886204
acl2_7.2dfsg-3_amd64.deb                           27-Nov-2019 14:57            18128940