[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]acl2_8.5dfsg-5.dsc2023-01-16 03:00 2.2K 
[TXT]acl2_8.6+dfsg-2.dsc2025-04-27 14:54 2.2K 
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-16 15:55 69KDebian Software Package
[ ]acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 15:55 71KDebian Software Package
[ ]acl2-infix-source_8.6+dfsg-2_all.deb2025-04-27 21:56 71KDebian Software Package
[ ]elpa-acl2_8.6+dfsg-2_all.deb2025-04-27 21:56 76KDebian Software Package
[ ]acl2_8.5dfsg-5.debian.tar.xz2023-01-16 03:00 306KTAR compressed archive
[ ]acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 14:54 435KTAR compressed archive
[ ]acl2-infix_8.5dfsg-5_arm64.deb2023-01-17 22:13 461KDebian Software Package
[ ]acl2-infix_8.5dfsg-5_amd64.deb2023-01-16 21:15 464KDebian Software Package
[ ]acl2-doc_8.5dfsg-5_all.deb2023-01-16 15:55 470KDebian Software Package
[ ]acl2-doc_8.6+dfsg-2_all.deb2025-04-27 21:56 513KDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_arm64.deb2025-04-27 21:56 834KDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_armhf.deb2025-04-28 19:17 846KDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_amd64.deb2025-04-27 21:40 866KDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 1.8MDebian Software Package
[ ]acl2-source_8.5dfsg-5_all.deb2023-01-16 15:55 3.4MDebian Software Package
[ ]acl2-source_8.6+dfsg-2_all.deb2025-04-27 21:56 3.8MDebian Software Package
[ ]acl2_8.5dfsg-5_arm64.deb2023-01-17 22:13 21MDebian Software Package
[ ]acl2_8.5dfsg-5_amd64.deb2023-01-16 21:15 22MDebian Software Package
[ ]acl2-books-source_8.5dfsg-5_all.deb2023-01-16 15:55 24MDebian Software Package
[ ]acl2-books-source_8.6+dfsg-2_all.deb2025-04-27 21:56 26MDebian Software Package
[ ]acl2_8.6+dfsg-2_arm64.deb2025-04-27 21:56 35MDebian Software Package
[ ]acl2_8.6+dfsg-2_amd64.deb2025-04-27 21:40 35MDebian Software Package
[ ]acl2_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 35MDebian Software Package
[ ]acl2_8.6+dfsg-2_armhf.deb2025-04-28 19:17 37MDebian Software Package
[ ]acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 15:55 170MDebian Software Package
[ ]acl2-books-certs_8.6+dfsg-2_all.deb2025-04-27 21:56 211MDebian Software Package
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 16:13 213MGZIP compressed TAR archive
[ ]acl2_8.6+dfsg.orig.tar.gz2025-04-26 23:21 229MGZIP compressed TAR archive
[ ]acl2-books_8.5dfsg-5_amd64.deb2023-01-16 21:15 287MDebian Software Package
[ ]acl2-books_8.5dfsg-5_arm64.deb2023-01-17 22:13 289MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_armhf.deb2025-04-28 19:17 395MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_arm64.deb2025-04-27 21:56 412MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_amd64.deb2025-04-27 21:40 416MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 936MDebian Software Package