[To Parent Directory]
7/13/2024 12:41 AM 178375056 acl2-books-certs_8.5dfsg-5_all.deb
7/13/2024 12:41 AM 24662324 acl2-books-source_8.5dfsg-5_all.deb
7/13/2024 12:41 AM 481328 acl2-doc_8.5dfsg-5_all.deb
7/13/2024 12:41 AM 72332 acl2-infix-source_8.5dfsg-5_all.deb
7/13/2024 12:41 AM 3587888 acl2-source_8.5dfsg-5_all.deb
7/13/2024 12:41 AM 70628 elpa-acl2_8.5dfsg-5_all.deb