Index of /stable/debian-7-official-backports/pool/main/a/acl2/

../
acl2-books-certs_6.5-2~bpo70+1_all.deb             24-Sep-2019 00:59            19595980
acl2-books-source_6.5-2~bpo70+1_all.deb            24-Sep-2019 01:04            10741494
acl2-books_6.5-2~bpo70+1_amd64.deb                 24-Sep-2019 01:01            49693770
acl2-doc_6.5-2~bpo70+1_all.deb                     24-Sep-2019 01:02             2291762
acl2-emacs_6.5-2~bpo70+1_all.deb                   24-Sep-2019 01:04               72934
acl2-infix-source_6.5-2~bpo70+1_all.deb            24-Sep-2019 01:00               92182
acl2-infix_6.5-2~bpo70+1_amd64.deb                 24-Sep-2019 01:03              224544
acl2-source_6.5-2~bpo70+1_all.deb                  24-Sep-2019 01:02             3867396
acl2_6.5-2~bpo70+1_amd64.deb                       24-Sep-2019 01:02            25023850