[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 04:39 112MGZIP compressed TAR archive
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-27 15:34 223KTAR compressed archive
[TXT]acl2_8.3dfsg-2.dsc2021-01-27 15:34 2.2K 
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-27 22:57 241MDebian Software Package
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-27 22:57 479KDebian Software Package
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-27 22:57 20MDebian Software Package
[ ]acl2-books_8.3dfsg-2_i386.deb2021-01-27 23:22 204MDebian Software Package
[ ]acl2-infix_8.3dfsg-2_i386.deb2021-01-27 23:22 485KDebian Software Package
[ ]acl2_8.3dfsg-2_i386.deb2021-01-27 23:22 19MDebian Software Package
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 03:25 139MDebian Software Package
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 03:25 19MDebian Software Package
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 03:25 437KDebian Software Package
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 03:25 68KDebian Software Package
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 03:25 78KDebian Software Package
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 03:25 3.2MDebian Software Package
[ ]acl2-books_8.3dfsg-2_armhf.deb2021-01-28 07:42 223MDebian Software Package
[ ]acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 07:42 478KDebian Software Package
[ ]acl2_8.3dfsg-2_armhf.deb2021-01-28 07:42 18MDebian Software Package
[ ]acl2-books_8.3dfsg-2_arm64.deb2021-01-28 16:43 236MDebian Software Package
[ ]acl2-infix_8.3dfsg-2_arm64.deb2021-01-28 16:43 469KDebian Software Package
[ ]acl2_8.3dfsg-2_arm64.deb2021-01-28 16:43 19MDebian Software Package
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 16:13 213MGZIP compressed TAR archive
[ ]acl2_8.5dfsg-5.debian.tar.xz2023-01-16 03:00 306KTAR compressed archive
[TXT]acl2_8.5dfsg-5.dsc2023-01-16 03:00 2.2K 
[ ]acl2-books_8.5dfsg-5_s390x.deb2023-01-16 15:30 267MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_s390x.deb2023-01-16 15:30 432KDebian Software Package
[ ]acl2_8.5dfsg-5_s390x.deb2023-01-16 15:30 21MDebian Software Package
[ ]acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 15:55 170MDebian Software Package
[ ]acl2-books-source_8.5dfsg-5_all.deb2023-01-16 15:55 24MDebian Software Package
[ ]acl2-doc_8.5dfsg-5_all.deb2023-01-16 15:55 470KDebian Software Package
[ ]acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 15:55 71KDebian Software Package
[ ]acl2-source_8.5dfsg-5_all.deb2023-01-16 15:55 3.4MDebian Software Package
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-16 15:55 69KDebian Software Package
[ ]acl2-books_8.5dfsg-5_i386.deb2023-01-16 16:16 248MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_i386.deb2023-01-16 16:16 477KDebian Software Package
[ ]acl2_8.5dfsg-5_i386.deb2023-01-16 16:16 19MDebian Software Package
[ ]acl2-books_8.5dfsg-5_amd64.deb2023-01-16 21:15 287MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_amd64.deb2023-01-16 21:15 464KDebian Software Package
[ ]acl2_8.5dfsg-5_amd64.deb2023-01-16 21:15 22MDebian Software Package
[ ]acl2-books_8.5dfsg-5_armhf.deb2023-01-17 12:32 272MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_armhf.deb2023-01-17 12:32 472KDebian Software Package
[ ]acl2_8.5dfsg-5_armhf.deb2023-01-17 12:32 19MDebian Software Package
[ ]acl2-books_8.5dfsg-5_armel.deb2023-01-17 20:26 268MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_armel.deb2023-01-17 20:26 459KDebian Software Package
[ ]acl2_8.5dfsg-5_armel.deb2023-01-17 20:26 18MDebian Software Package
[ ]acl2-books_8.5dfsg-5_arm64.deb2023-01-17 22:13 289MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_arm64.deb2023-01-17 22:13 461KDebian Software Package
[ ]acl2_8.5dfsg-5_arm64.deb2023-01-17 22:13 21MDebian Software Package
[ ]acl2-books_8.5dfsg-5_ppc64el.deb2023-01-18 21:10 292MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_ppc64el.deb2023-01-18 21:10 483KDebian Software Package
[ ]acl2_8.5dfsg-5_ppc64el.deb2023-01-18 21:10 22MDebian Software Package
[ ]acl2-books_8.5dfsg-5_mipsel.deb2023-01-22 01:30 285MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_mipsel.deb2023-01-22 01:30 503KDebian Software Package
[ ]acl2_8.5dfsg-5_mipsel.deb2023-01-22 01:30 19MDebian Software Package
[ ]acl2-books_8.5dfsg-5_mips64el.deb2023-01-23 13:58 309MDebian Software Package
[ ]acl2-infix_8.5dfsg-5_mips64el.deb2023-01-23 13:58 491KDebian Software Package
[ ]acl2_8.5dfsg-5_mips64el.deb2023-01-23 13:58 20MDebian Software Package
[ ]acl2_8.6+dfsg.orig.tar.gz2025-04-26 23:21 229MGZIP compressed TAR archive
[ ]acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 14:54 435KTAR compressed archive
[TXT]acl2_8.6+dfsg-2.dsc2025-04-27 14:54 2.2K 
[ ]acl2-books_8.6+dfsg-2_i386.deb2025-04-27 21:25 344MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_i386.deb2025-04-27 21:25 852KDebian Software Package
[ ]acl2_8.6+dfsg-2_i386.deb2025-04-27 21:25 39MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30 430MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30 885KDebian Software Package
[ ]acl2_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30 35MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_amd64.deb2025-04-27 21:40 416MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_amd64.deb2025-04-27 21:40 866KDebian Software Package
[ ]acl2_8.6+dfsg-2_amd64.deb2025-04-27 21:40 35MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_arm64.deb2025-04-27 21:56 412MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_arm64.deb2025-04-27 21:56 834KDebian Software Package
[ ]acl2_8.6+dfsg-2_arm64.deb2025-04-27 21:56 35MDebian Software Package
[ ]acl2-books-certs_8.6+dfsg-2_all.deb2025-04-27 21:56 211MDebian Software Package
[ ]acl2-books-source_8.6+dfsg-2_all.deb2025-04-27 21:56 26MDebian Software Package
[ ]acl2-doc_8.6+dfsg-2_all.deb2025-04-27 21:56 513KDebian Software Package
[ ]acl2-infix-source_8.6+dfsg-2_all.deb2025-04-27 21:56 71KDebian Software Package
[ ]acl2-source_8.6+dfsg-2_all.deb2025-04-27 21:56 3.8MDebian Software Package
[ ]elpa-acl2_8.6+dfsg-2_all.deb2025-04-27 21:56 76KDebian Software Package
[ ]acl2-books_8.6+dfsg-2_armel.deb2025-04-27 23:17 386MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_armel.deb2025-04-27 23:17 815KDebian Software Package
[ ]acl2_8.6+dfsg-2_armel.deb2025-04-27 23:17 36MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_s390x.deb2025-04-28 05:56 417MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_s390x.deb2025-04-28 05:56 864KDebian Software Package
[ ]acl2_8.6+dfsg-2_s390x.deb2025-04-28 05:56 38MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_armhf.deb2025-04-28 19:17 395MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_armhf.deb2025-04-28 19:17 846KDebian Software Package
[ ]acl2_8.6+dfsg-2_armhf.deb2025-04-28 19:17 37MDebian Software Package
[ ]acl2-books_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 936MDebian Software Package
[ ]acl2-infix_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 1.8MDebian Software Package
[ ]acl2_8.6+dfsg-2_riscv64.deb2025-05-02 03:29 35MDebian Software Package
[TXT]acl2_8.6+dfsg-3.dsc2025-05-14 16:10 2.2K 
[ ]acl2_8.6+dfsg-3.debian.tar.xz2025-05-14 16:10 695KTAR compressed archive
[ ]acl2-books_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09 430MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09 882KDebian Software Package
[ ]acl2_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09 35MDebian Software Package
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2025-05-14 22:24 212MDebian Software Package
[ ]acl2-books-source_8.6+dfsg-3_all.deb2025-05-14 22:24 26MDebian Software Package
[ ]acl2-doc_8.6+dfsg-3_all.deb2025-05-14 22:24 513KDebian Software Package
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2025-05-14 22:24 71KDebian Software Package
[ ]acl2-source_8.6+dfsg-3_all.deb2025-05-14 22:24 3.8MDebian Software Package
[ ]elpa-acl2_8.6+dfsg-3_all.deb2025-05-14 22:24 77KDebian Software Package
[ ]acl2-books_8.6+dfsg-3_amd64.deb2025-05-14 22:40 416MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2025-05-14 22:40 865KDebian Software Package
[ ]acl2_8.6+dfsg-3_amd64.deb2025-05-14 22:40 35MDebian Software Package
[ ]acl2-books_8.6+dfsg-3_armhf.deb2025-05-15 00:17 395MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_armhf.deb2025-05-15 00:17 846KDebian Software Package
[ ]acl2_8.6+dfsg-3_armhf.deb2025-05-15 00:17 38MDebian Software Package
[ ]acl2-books_8.6+dfsg-3_i386.deb2025-05-15 00:27 344MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_i386.deb2025-05-15 00:27 853KDebian Software Package
[ ]acl2_8.6+dfsg-3_i386.deb2025-05-15 00:27 39MDebian Software Package
[ ]acl2-books_8.6+dfsg-3_s390x.deb2025-05-15 04:09 417MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_s390x.deb2025-05-15 04:09 863KDebian Software Package
[ ]acl2_8.6+dfsg-3_s390x.deb2025-05-15 04:09 38MDebian Software Package
[ ]acl2-books_8.6+dfsg-3_arm64.deb2025-05-15 15:47 413MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_arm64.deb2025-05-15 15:47 833KDebian Software Package
[ ]acl2_8.6+dfsg-3_arm64.deb2025-05-15 15:47 36MDebian Software Package
[ ]acl2-books_8.6+dfsg-3_riscv64.deb2025-05-19 05:00 937MDebian Software Package
[ ]acl2-infix_8.6+dfsg-3_riscv64.deb2025-05-19 05:00 1.8MDebian Software Package
[ ]acl2_8.6+dfsg-3_riscv64.deb2025-05-19 05:00 35MDebian Software Package