Index of /repo/ubuntu/pool/universe/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_6.3-5_all.deb2025-11-19 15:54 11M 
[ ]acl2-books-certs_7.1-1_all.deb2025-11-19 15:54 13M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2025-11-19 15:54 70M 
[ ]acl2-books-certs_8.2dfsg-3build1_all.deb2025-11-19 15:54 66M 
[ ]acl2-books-certs_8.4dfsg-2_all.deb2026-03-12 21:17 221M 
[ ]acl2-books-certs_8.5dfsg-5build3_all.deb2025-11-19 15:54 216M 
[ ]acl2-books-certs_8.5dfsg-6_all.deb2025-11-19 15:54 79M 
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2026-05-14 05:04 268M 
[ ]acl2-books-certs_8.6+dfsg-3build1_all.deb2026-02-09 08:13 267M 
[ ]acl2-books-certs_8.7+dfsg-3_all.deb2026-07-19 03:24 291M 
[ ]acl2-books-source_6.3-5_all.deb2025-11-19 15:54 9.1M 
[ ]acl2-books-source_7.1-1_all.deb2025-11-19 15:54 9.9M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2025-11-19 15:54 12M 
[ ]acl2-books-source_8.2dfsg-3build1_all.deb2025-11-19 15:54 14M 
[ ]acl2-books-source_8.4dfsg-2_all.deb2026-03-12 21:17 21M 
[ ]acl2-books-source_8.5dfsg-5build3_all.deb2025-11-19 15:54 23M 
[ ]acl2-books-source_8.5dfsg-6_all.deb2025-11-19 15:54 23M 
[ ]acl2-books-source_8.6+dfsg-3_all.deb2026-05-14 05:04 26M 
[ ]acl2-books-source_8.6+dfsg-3build1_all.deb2026-02-09 08:13 26M 
[ ]acl2-books-source_8.7+dfsg-3_all.deb2026-07-19 03:24 28M 
[ ]acl2-books_6.3-5_amd64.deb2025-11-19 15:54 40M 
[ ]acl2-books_6.3-5_i386.deb2025-11-19 15:54 36M 
[ ]acl2-books_7.1-1_amd64.deb2025-11-19 15:54 19M 
[ ]acl2-books_7.1-1_i386.deb2025-11-19 15:55 18M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2025-11-19 15:55 132M 
[ ]acl2-books_8.0dfsg-1_i386.deb2025-11-19 15:55 114M 
[ ]acl2-books_8.2dfsg-3build1_amd64.deb2025-11-19 15:55 163M 
[ ]acl2-books_8.4dfsg-2_amd64.deb2026-03-12 21:18 338M 
[ ]acl2-books_8.5dfsg-5build3_amd64.deb2025-11-19 15:55 331M 
[ ]acl2-books_8.5dfsg-6_amd64.deb2025-11-19 15:55 171M 
[ ]acl2-books_8.6+dfsg-3_amd64.deb2026-05-14 05:07 469M 
[ ]acl2-books_8.6+dfsg-3build1_amd64.deb2026-02-09 08:13 467M 
[ ]acl2-books_8.7+dfsg-3_amd64.deb2026-07-19 03:24 513M 
[ ]acl2-doc_6.3-5_all.deb2025-11-19 15:55 12M 
[ ]acl2-doc_7.1-1_all.deb2025-11-19 15:55 353K 
[ ]acl2-doc_8.0dfsg-1_all.deb2025-11-19 15:55 385K 
[ ]acl2-doc_8.2dfsg-3build1_all.deb2025-11-19 15:55 418K 
[ ]acl2-doc_8.4dfsg-2_all.deb2026-03-12 21:18 441K 
[ ]acl2-doc_8.5dfsg-5build3_all.deb2025-11-19 15:55 474K 
[ ]acl2-doc_8.5dfsg-6_all.deb2025-11-19 15:55 474K 
[ ]acl2-doc_8.6+dfsg-3_all.deb2026-05-14 05:07 516K 
[ ]acl2-doc_8.6+dfsg-3build1_all.deb2026-02-09 08:13 516K 
[ ]acl2-doc_8.7+dfsg-3_all.deb2026-07-19 03:24 537K 
[ ]acl2-emacs_6.3-5_all.deb2025-11-19 15:55 55K 
[ ]acl2-emacs_7.1-1_all.deb2025-11-19 15:55 55K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2025-11-19 15:55 59K 
[ ]acl2-emacs_8.2dfsg-3build1_all.deb2025-11-19 15:55 59K 
[ ]acl2-infix-source_6.3-5_all.deb2025-11-19 15:55 86K 
[ ]acl2-infix-source_7.1-1_all.deb2025-11-19 15:55 70K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2025-11-19 15:55 70K 
[ ]acl2-infix-source_8.2dfsg-3build1_all.deb2025-11-19 15:55 70K 
[ ]acl2-infix-source_8.4dfsg-2_all.deb2026-03-12 21:18 72K 
[ ]acl2-infix-source_8.5dfsg-5build3_all.deb2025-11-19 15:55 72K 
[ ]acl2-infix-source_8.5dfsg-6_all.deb2025-11-19 15:55 72K 
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2026-05-14 05:07 73K 
[ ]acl2-infix-source_8.6+dfsg-3build1_all.deb2026-02-09 08:13 73K 
[ ]acl2-infix-source_8.7+dfsg-3_all.deb2026-07-19 03:24 72K 
[ ]acl2-infix_6.3-5_amd64.deb2025-11-19 15:55 200K 
[ ]acl2-infix_6.3-5_i386.deb2025-11-19 15:55 189K 
[ ]acl2-infix_7.1-1_amd64.deb2025-11-19 15:55 140K 
[ ]acl2-infix_7.1-1_i386.deb2025-11-19 15:55 142K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2025-11-19 15:55 414K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2025-11-19 15:55 381K 
[ ]acl2-infix_8.2dfsg-3build1_amd64.deb2025-11-19 15:55 470K 
[ ]acl2-infix_8.4dfsg-2_amd64.deb2026-03-12 21:18 551K 
[ ]acl2-infix_8.5dfsg-5build3_amd64.deb2025-11-19 15:55 538K 
[ ]acl2-infix_8.5dfsg-6_amd64.deb2025-11-19 15:55 533K 
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2026-05-14 05:07 1.0M 
[ ]acl2-infix_8.6+dfsg-3build1_amd64.deb2026-02-09 08:13 1.0M 
[ ]acl2-infix_8.7+dfsg-3_amd64.deb2026-07-19 03:24 1.0M 
[ ]acl2-source_6.3-5_all.deb2025-11-19 15:55 3.6M 
[ ]acl2-source_7.1-1_all.deb2025-11-19 15:55 2.7M 
[ ]acl2-source_8.0dfsg-1_all.deb2025-11-19 15:55 2.9M 
[ ]acl2-source_8.2dfsg-3build1_all.deb2025-11-19 15:55 3.1M 
[ ]acl2-source_8.4dfsg-2_all.deb2026-03-12 21:18 3.4M 
[ ]acl2-source_8.5dfsg-5build3_all.deb2025-11-19 15:55 3.5M 
[ ]acl2-source_8.5dfsg-6_all.deb2025-11-19 15:55 3.5M 
[ ]acl2-source_8.6+dfsg-3_all.deb2026-05-14 05:07 3.9M 
[ ]acl2-source_8.6+dfsg-3build1_all.deb2026-02-09 08:13 3.9M 
[ ]acl2-source_8.7+dfsg-3_all.deb2026-07-19 03:24 3.9M 
[ ]acl2_6.3-5.debian.tar.gz2026-05-14 05:07 158K 
[TXT]acl2_6.3-5.dsc2026-05-14 05:07 1.7K 
[ ]acl2_6.3-5_amd64.deb2025-11-19 15:55 27M 
[ ]acl2_6.3-5_i386.deb2025-11-19 15:55 23M 
[ ]acl2_6.3.orig-books.tar.gz2026-05-14 05:07 13M 
[ ]acl2_6.3.orig.tar.gz2026-05-14 05:07 6.7M 
[ ]acl2_7.1-1.debian.tar.xz2026-05-14 05:07 126K 
[TXT]acl2_7.1-1.dsc2026-05-14 05:07 2.2K 
[ ]acl2_7.1-1_amd64.deb2025-11-19 15:55 16M 
[ ]acl2_7.1-1_i386.deb2025-11-19 15:55 16M 
[ ]acl2_7.1.orig.tar.gz2026-05-14 05:07 60M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2026-05-14 05:07 200K 
[TXT]acl2_8.0dfsg-1.dsc2026-05-14 05:07 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2025-11-19 15:55 19M 
[ ]acl2_8.0dfsg-1_i386.deb2025-11-19 15:55 16M 
[ ]acl2_8.0dfsg.orig.tar.gz2026-05-14 05:08 74M 
[ ]acl2_8.2dfsg-3build1.debian.tar.xz2026-05-14 05:08 201K 
[TXT]acl2_8.2dfsg-3build1.dsc2026-05-14 05:08 2.2K 
[ ]acl2_8.2dfsg-3build1_amd64.deb2025-11-19 15:55 21M 
[ ]acl2_8.2dfsg.orig.tar.gz2026-05-14 05:08 77M 
[ ]acl2_8.4dfsg-2.debian.tar.xz2026-05-14 05:08 304K 
[TXT]acl2_8.4dfsg-2.dsc2026-05-14 05:08 2.2K 
[ ]acl2_8.4dfsg-2_amd64.deb2026-03-12 21:18 25M 
[ ]acl2_8.4dfsg.orig.tar.gz2026-05-14 05:09 194M 
[ ]acl2_8.5dfsg-5build3.debian.tar.xz2026-05-14 05:09 306K 
[TXT]acl2_8.5dfsg-5build3.dsc2026-05-14 05:09 2.3K 
[ ]acl2_8.5dfsg-5build3_amd64.deb2025-11-19 15:55 26M 
[ ]acl2_8.5dfsg-6.debian.tar.xz2026-05-14 05:09 306K 
[TXT]acl2_8.5dfsg-6.dsc2026-05-14 05:09 2.2K 
[ ]acl2_8.5dfsg-6_amd64.deb2025-11-19 15:55 25M 
[ ]acl2_8.5dfsg.orig.tar.gz2026-05-14 05:11 213M 
[ ]acl2_8.6+dfsg-3.debian.tar.xz2026-05-14 05:11 695K 
[TXT]acl2_8.6+dfsg-3.dsc2026-05-14 05:11 2.2K 
[ ]acl2_8.6+dfsg-3_amd64.deb2026-05-14 05:11 45M 
[ ]acl2_8.6+dfsg-3build1.debian.tar.xz2026-05-14 05:11 694K 
[TXT]acl2_8.6+dfsg-3build1.dsc2026-05-14 05:11 2.3K 
[ ]acl2_8.6+dfsg-3build1_amd64.deb2026-02-09 08:13 47M 
[ ]acl2_8.6+dfsg.orig.tar.gz2026-05-14 05:12 229M 
[ ]acl2_8.7+dfsg-3.debian.tar.xz2026-07-18 03:29 881K 
[TXT]acl2_8.7+dfsg-3.dsc2026-07-18 03:29 2.2K 
[ ]acl2_8.7+dfsg-3_amd64.deb2026-07-19 03:24 44M 
[ ]acl2_8.7+dfsg.orig.tar.gz2026-06-21 15:13 238M 
[ ]elpa-acl2_8.4dfsg-2_all.deb2026-03-12 21:18 69K 
[ ]elpa-acl2_8.5dfsg-5build3_all.deb2025-11-19 15:55 71K 
[ ]elpa-acl2_8.5dfsg-6_all.deb2025-11-19 15:55 71K 
[ ]elpa-acl2_8.6+dfsg-3_all.deb2026-05-14 05:12 79K 
[ ]elpa-acl2_8.6+dfsg-3build1_all.deb2026-02-09 08:13 79K 
[ ]elpa-acl2_8.7+dfsg-3_all.deb2026-07-19 03:24 78K