Index of /debian/pool/main/a/acl2/
../ acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 04:25 139M acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 16:55 170M acl2-books-certs_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 211M acl2-books-certs_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 232M acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 19M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 24M acl2-books-source_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 26M acl2-books-source_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 28M acl2-books_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 241M acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 236M acl2-books_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 223M acl2-books_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 204M acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 287M acl2-books_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 289M acl2-books_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 268M acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 272M acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 248M acl2-books_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 309M acl2-books_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 285M acl2-books_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 292M acl2-books_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 267M acl2-books_8.6+dfsg-2_amd64.deb 27-Apr-2025 21:40 416M acl2-books_8.6+dfsg-2_arm64.deb 27-Apr-2025 21:56 412M acl2-books_8.6+dfsg-2_armel.deb 27-Apr-2025 23:17 386M acl2-books_8.6+dfsg-2_armhf.deb 28-Apr-2025 19:17 395M acl2-books_8.6+dfsg-2_i386.deb 27-Apr-2025 21:25 344M acl2-books_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 21:30 430M acl2-books_8.6+dfsg-2_riscv64.deb 02-May-2025 03:29 936M acl2-books_8.6+dfsg-2_s390x.deb 28-Apr-2025 05:56 417M acl2-books_8.7+dfsg-2_amd64.deb 17-Jun-2026 23:23 457M acl2-books_8.7+dfsg-2_arm64.deb 17-Jun-2026 22:31 448M acl2-books_8.7+dfsg-2_armhf.deb 18-Jun-2026 03:08 435M acl2-books_8.7+dfsg-2_i386.deb 18-Jun-2026 03:39 398M acl2-books_8.7+dfsg-2_loong64.deb 18-Jun-2026 12:18 591M acl2-books_8.7+dfsg-2_ppc64el.deb 17-Jun-2026 23:57 487M acl2-books_8.7+dfsg-2_riscv64.deb 27-Jun-2026 08:29 1G acl2-books_8.7+dfsg-2_s390x.deb 18-Jun-2026 04:00 459M acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 04:25 437K acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 16:55 470K acl2-doc_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 513K acl2-doc_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 533K acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 04:25 68K acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 78K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 71K acl2-infix-source_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 71K acl2-infix-source_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 70K acl2-infix_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 479K acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 469K acl2-infix_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 478K acl2-infix_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 485K acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 464K acl2-infix_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 461K acl2-infix_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 459K acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 472K acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 477K acl2-infix_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 491K acl2-infix_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 503K acl2-infix_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 483K acl2-infix_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 432K acl2-infix_8.6+dfsg-2_amd64.deb 27-Apr-2025 21:40 866K acl2-infix_8.6+dfsg-2_arm64.deb 27-Apr-2025 21:56 834K acl2-infix_8.6+dfsg-2_armel.deb 27-Apr-2025 23:17 815K acl2-infix_8.6+dfsg-2_armhf.deb 28-Apr-2025 19:17 846K acl2-infix_8.6+dfsg-2_i386.deb 27-Apr-2025 21:25 852K acl2-infix_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 21:30 885K acl2-infix_8.6+dfsg-2_riscv64.deb 02-May-2025 03:29 2M acl2-infix_8.6+dfsg-2_s390x.deb 28-Apr-2025 05:56 864K acl2-infix_8.7+dfsg-2_amd64.deb 17-Jun-2026 23:23 874K acl2-infix_8.7+dfsg-2_arm64.deb 17-Jun-2026 22:31 844K acl2-infix_8.7+dfsg-2_armhf.deb 18-Jun-2026 03:08 872K acl2-infix_8.7+dfsg-2_i386.deb 18-Jun-2026 03:39 864K acl2-infix_8.7+dfsg-2_loong64.deb 18-Jun-2026 12:18 1M acl2-infix_8.7+dfsg-2_ppc64el.deb 17-Jun-2026 23:57 906K acl2-infix_8.7+dfsg-2_riscv64.deb 27-Jun-2026 08:29 2M acl2-infix_8.7+dfsg-2_s390x.deb 18-Jun-2026 04:00 878K acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 3M acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 3M acl2-source_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 4M acl2-source_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 4M acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 16:34 223K acl2_8.3dfsg-2.dsc 27-Jan-2021 16:34 2275 acl2_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 20M acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 19M acl2_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 18M acl2_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 19M acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 04:39 112M acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 04:00 306K acl2_8.5dfsg-5.dsc 16-Jan-2023 04:00 2268 acl2_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 22M acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 21M acl2_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 18M acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 19M acl2_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 19M acl2_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 20M acl2_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 19M acl2_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 22M acl2_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 21M acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 16:13 213M acl2_8.6+dfsg-2.debian.tar.xz 27-Apr-2025 14:54 435K acl2_8.6+dfsg-2.dsc 27-Apr-2025 14:54 2286 acl2_8.6+dfsg-2_amd64.deb 27-Apr-2025 21:40 35M acl2_8.6+dfsg-2_arm64.deb 27-Apr-2025 21:56 35M acl2_8.6+dfsg-2_armel.deb 27-Apr-2025 23:17 36M acl2_8.6+dfsg-2_armhf.deb 28-Apr-2025 19:17 37M acl2_8.6+dfsg-2_i386.deb 27-Apr-2025 21:25 39M acl2_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 21:30 35M acl2_8.6+dfsg-2_riscv64.deb 02-May-2025 03:29 35M acl2_8.6+dfsg-2_s390x.deb 28-Apr-2025 05:56 38M acl2_8.6+dfsg.orig.tar.gz 26-Apr-2025 23:21 229M acl2_8.7+dfsg-2.debian.tar.xz 17-Jun-2026 16:31 881K acl2_8.7+dfsg-2.dsc 17-Jun-2026 16:31 2288 acl2_8.7+dfsg-2_amd64.deb 17-Jun-2026 23:23 36M acl2_8.7+dfsg-2_arm64.deb 17-Jun-2026 22:31 36M acl2_8.7+dfsg-2_armhf.deb 18-Jun-2026 03:08 38M acl2_8.7+dfsg-2_i386.deb 18-Jun-2026 03:39 38M acl2_8.7+dfsg-2_loong64.deb 18-Jun-2026 12:18 37M acl2_8.7+dfsg-2_ppc64el.deb 17-Jun-2026 23:57 37M acl2_8.7+dfsg-2_riscv64.deb 27-Jun-2026 08:29 37M acl2_8.7+dfsg-2_s390x.deb 18-Jun-2026 04:00 46M acl2_8.7+dfsg.orig.tar.gz 17-Jun-2026 10:01 238M elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 16:55 69K elpa-acl2_8.6+dfsg-2_all.deb 27-Apr-2025 21:56 76K elpa-acl2_8.7+dfsg-2_all.deb 17-Jun-2026 23:12 76K
This mirror is provided by University of Trieste - rete@units.it
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.