../ acl2-books_8.6+dfsg-3_loong64.deb 30-May-2025 13:45 555019560 acl2-infix_8.6+dfsg-3_loong64.deb 30-May-2025 13:45 1090556 acl2_8.6+dfsg-3_loong64.deb 30-May-2025 13:45 37245224