Index of /pub/gnu_linux/ubuntu/pool/universe/a/acl2
Name Last modified Size Description
Parent Directory -
acl2-books-certs_6.3-5_all.deb 2023-08-24 23:59 11M
acl2-books-certs_7.1-1_all.deb 2023-08-24 23:59 13M
acl2-books-certs_8.0dfsg-1_all.deb 2023-08-24 23:59 70M
acl2-books-certs_8.2dfsg-3build1_all.deb 2023-08-24 23:59 66M
acl2-books-certs_8.4dfsg-2_all.deb 2023-08-24 23:59 221M
acl2-books-certs_8.5dfsg-5build3_all.deb 2024-04-02 05:44 216M
acl2-books-certs_8.5dfsg-6_all.deb 2024-07-29 01:41 79M
acl2-books-certs_8.6+dfsg-3_all.deb 2025-05-16 03:20 268M
acl2-books-source_6.3-5_all.deb 2023-08-24 23:59 9.1M
acl2-books-source_7.1-1_all.deb 2023-08-24 23:59 9.9M
acl2-books-source_8.0dfsg-1_all.deb 2023-08-24 23:59 12M
acl2-books-source_8.2dfsg-3build1_all.deb 2023-08-24 23:59 14M
acl2-books-source_8.4dfsg-2_all.deb 2023-08-24 23:59 21M
acl2-books-source_8.5dfsg-5build3_all.deb 2024-04-02 05:44 23M
acl2-books-source_8.5dfsg-6_all.deb 2024-07-29 01:41 23M
acl2-books-source_8.6+dfsg-3_all.deb 2025-05-16 03:21 26M
acl2-books_6.3-5_amd64.deb 2023-08-24 23:59 40M
acl2-books_6.3-5_i386.deb 2023-08-24 23:59 36M
acl2-books_7.1-1_amd64.deb 2023-08-24 23:59 19M
acl2-books_7.1-1_i386.deb 2023-08-24 23:59 18M
acl2-books_8.0dfsg-1_amd64.deb 2023-08-24 23:59 132M
acl2-books_8.0dfsg-1_i386.deb 2023-08-24 23:59 114M
acl2-books_8.2dfsg-3build1_amd64.deb 2023-08-24 23:59 163M
acl2-books_8.4dfsg-2_amd64.deb 2023-08-24 23:59 338M
acl2-books_8.5dfsg-5build3_amd64.deb 2024-04-02 05:45 331M
acl2-books_8.5dfsg-6_amd64.deb 2024-07-29 01:41 171M
acl2-books_8.6+dfsg-3_amd64.deb 2025-05-16 03:21 469M
acl2-doc_6.3-5_all.deb 2023-08-25 00:00 12M
acl2-doc_7.1-1_all.deb 2023-08-25 00:00 353K
acl2-doc_8.0dfsg-1_all.deb 2023-08-25 00:00 385K
acl2-doc_8.2dfsg-3build1_all.deb 2023-08-25 00:00 418K
acl2-doc_8.4dfsg-2_all.deb 2023-08-25 00:00 441K
acl2-doc_8.5dfsg-5build3_all.deb 2024-04-02 05:45 474K
acl2-doc_8.5dfsg-6_all.deb 2024-07-29 01:41 474K
acl2-doc_8.6+dfsg-3_all.deb 2025-05-16 03:21 516K
acl2-emacs_6.3-5_all.deb 2023-08-25 00:00 55K
acl2-emacs_7.1-1_all.deb 2023-08-25 00:00 55K
acl2-emacs_8.0dfsg-1_all.deb 2023-08-25 00:00 59K
acl2-emacs_8.2dfsg-3build1_all.deb 2023-08-25 00:00 59K
acl2-infix-source_6.3-5_all.deb 2023-08-25 00:00 86K
acl2-infix-source_7.1-1_all.deb 2023-08-25 00:00 70K
acl2-infix-source_8.0dfsg-1_all.deb 2023-08-25 00:00 70K
acl2-infix-source_8.2dfsg-3build1_all.deb 2023-08-25 00:00 70K
acl2-infix-source_8.4dfsg-2_all.deb 2023-08-25 00:00 72K
acl2-infix-source_8.5dfsg-5build3_all.deb 2024-04-02 05:45 72K
acl2-infix-source_8.5dfsg-6_all.deb 2024-07-29 01:41 72K
acl2-infix-source_8.6+dfsg-3_all.deb 2025-05-16 03:21 73K
acl2-infix_6.3-5_amd64.deb 2023-08-25 00:00 200K
acl2-infix_6.3-5_i386.deb 2023-08-25 00:00 189K
acl2-infix_7.1-1_amd64.deb 2023-08-25 00:00 140K
acl2-infix_7.1-1_i386.deb 2023-08-25 00:00 142K
acl2-infix_8.0dfsg-1_amd64.deb 2023-08-25 00:00 414K
acl2-infix_8.0dfsg-1_i386.deb 2023-08-25 00:00 381K
acl2-infix_8.2dfsg-3build1_amd64.deb 2023-08-25 00:00 470K
acl2-infix_8.4dfsg-2_amd64.deb 2023-08-25 00:00 551K
acl2-infix_8.5dfsg-5build3_amd64.deb 2024-04-02 05:45 538K
acl2-infix_8.5dfsg-6_amd64.deb 2024-07-29 01:41 533K
acl2-infix_8.6+dfsg-3_amd64.deb 2025-05-16 03:21 1.0M
acl2-source_6.3-5_all.deb 2023-08-25 00:00 3.6M
acl2-source_7.1-1_all.deb 2023-08-25 00:00 2.7M
acl2-source_8.0dfsg-1_all.deb 2023-08-25 00:00 2.9M
acl2-source_8.2dfsg-3build1_all.deb 2023-08-25 00:00 3.1M
acl2-source_8.4dfsg-2_all.deb 2023-08-25 00:00 3.4M
acl2-source_8.5dfsg-5build3_all.deb 2024-04-02 05:45 3.5M
acl2-source_8.5dfsg-6_all.deb 2024-07-29 01:41 3.5M
acl2-source_8.6+dfsg-3_all.deb 2025-05-16 03:21 3.9M
acl2_6.3-5.debian.tar.gz 2025-05-14 03:45 158K
acl2_6.3-5.dsc 2025-05-14 03:45 1.7K
acl2_6.3-5_amd64.deb 2023-08-25 00:00 27M
acl2_6.3-5_i386.deb 2023-08-25 00:00 23M
acl2_6.3.orig-books.tar.gz 2025-05-14 03:45 13M
acl2_6.3.orig.tar.gz 2025-05-14 03:45 6.7M
acl2_7.1-1.debian.tar.xz 2025-05-14 03:45 126K
acl2_7.1-1.dsc 2025-05-14 03:45 2.2K
acl2_7.1-1_amd64.deb 2023-08-25 00:00 16M
acl2_7.1-1_i386.deb 2023-08-25 00:00 16M
acl2_7.1.orig.tar.gz 2025-05-14 03:45 60M
acl2_8.0dfsg-1.debian.tar.xz 2025-05-14 03:45 200K
acl2_8.0dfsg-1.dsc 2025-05-14 03:45 2.2K
acl2_8.0dfsg-1_amd64.deb 2023-08-25 00:00 19M
acl2_8.0dfsg-1_i386.deb 2023-08-25 00:00 16M
acl2_8.0dfsg.orig.tar.gz 2025-05-14 03:45 74M
acl2_8.2dfsg-3build1.debian.tar.xz 2025-05-14 03:45 201K
acl2_8.2dfsg-3build1.dsc 2025-05-14 03:45 2.2K
acl2_8.2dfsg-3build1_amd64.deb 2023-08-25 00:00 21M
acl2_8.2dfsg.orig.tar.gz 2025-05-14 03:45 77M
acl2_8.4dfsg-2.debian.tar.xz 2025-05-14 03:45 304K
acl2_8.4dfsg-2.dsc 2025-05-14 03:45 2.2K
acl2_8.4dfsg-2_amd64.deb 2023-08-25 00:00 25M
acl2_8.4dfsg.orig.tar.gz 2025-05-14 03:45 194M
acl2_8.5dfsg-5build3.debian.tar.xz 2025-05-14 03:46 306K
acl2_8.5dfsg-5build3.dsc 2025-05-14 03:46 2.3K
acl2_8.5dfsg-5build3_amd64.deb 2024-04-02 05:45 26M
acl2_8.5dfsg-6.debian.tar.xz 2025-05-14 03:46 306K
acl2_8.5dfsg-6.dsc 2025-05-14 03:46 2.2K
acl2_8.5dfsg-6_amd64.deb 2024-07-29 01:41 25M
acl2_8.5dfsg.orig.tar.gz 2025-05-14 03:46 213M
acl2_8.6+dfsg-3.debian.tar.xz 2025-05-16 03:21 695K
acl2_8.6+dfsg-3.dsc 2025-05-16 03:21 2.2K
acl2_8.6+dfsg-3_amd64.deb 2025-05-16 03:21 45M
acl2_8.6+dfsg.orig.tar.gz 2025-05-14 03:46 229M
elpa-acl2_8.4dfsg-2_all.deb 2023-08-25 00:00 69K
elpa-acl2_8.5dfsg-5build3_all.deb 2024-04-02 05:45 71K
elpa-acl2_8.5dfsg-6_all.deb 2024-07-29 01:41 71K
elpa-acl2_8.6+dfsg-3_all.deb 2025-05-16 03:22 79K