Index of /ubuntu/pool/universe/a/acl2/
../ acl2-books-certs_6.3-5_all.deb 24-Oct-2013 18:36 11M acl2-books-certs_7.1-1_all.deb 27-Jun-2015 15:48 13M acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 05:08 70M acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 66M acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 03:10 221M acl2-books-certs_8.5dfsg-5build3_all.deb 02-Apr-2024 10:03 216M acl2-books-certs_8.5dfsg-6_all.deb 29-Jul-2024 06:20 79M acl2-books-certs_8.6+dfsg-3_all.deb 15-May-2025 09:30 268M acl2-books-certs_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 267M acl2-books-certs_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 292M acl2-books-source_6.3-5_all.deb 24-Oct-2013 18:36 9M acl2-books-source_7.1-1_all.deb 27-Jun-2015 15:48 10M acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 12M acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 14M acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 03:10 21M acl2-books-source_8.5dfsg-5build3_all.deb 02-Apr-2024 10:02 23M acl2-books-source_8.5dfsg-6_all.deb 29-Jul-2024 06:20 23M acl2-books-source_8.6+dfsg-3_all.deb 15-May-2025 09:30 26M acl2-books-source_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 26M acl2-books-source_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 28M acl2-books_6.3-5_amd64.deb 24-Oct-2013 18:36 40M acl2-books_6.3-5_i386.deb 24-Oct-2013 18:36 36M acl2-books_7.1-1_amd64.deb 27-Jun-2015 15:48 19M acl2-books_7.1-1_i386.deb 02-Jun-2015 04:43 18M acl2-books_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 132M acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 114M acl2-books_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 163M acl2-books_8.4dfsg-2_amd64.deb 19-Dec-2021 03:09 338M acl2-books_8.5dfsg-5build3_amd64.deb 02-Apr-2024 10:03 331M acl2-books_8.5dfsg-6_amd64.deb 29-Jul-2024 06:20 171M acl2-books_8.6+dfsg-3_amd64.deb 15-May-2025 09:30 469M acl2-books_8.6+dfsg-3_arm64.deb 15-May-2025 10:55 470M acl2-books_8.6+dfsg-3build1_amd64.deb 04-Feb-2026 08:32 467M acl2-books_8.6+dfsg-3build1_amd64v3.deb 04-Feb-2026 10:06 467M acl2-books_8.6+dfsg-3build1_arm64.deb 04-Feb-2026 10:06 465M acl2-books_8.7+dfsg-2_amd64.deb 18-Jun-2026 09:31 513M acl2-books_8.7+dfsg-2_amd64v3.deb 18-Jun-2026 09:32 514M acl2-books_8.7+dfsg-2_arm64.deb 18-Jun-2026 10:30 510M acl2-doc_6.3-5_all.deb 24-Oct-2013 18:36 12M acl2-doc_7.1-1_all.deb 27-Jun-2015 15:48 353K acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 05:08 385K acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 418K acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 03:09 441K acl2-doc_8.5dfsg-5build3_all.deb 02-Apr-2024 10:02 474K acl2-doc_8.5dfsg-6_all.deb 29-Jul-2024 06:20 474K acl2-doc_8.6+dfsg-3_all.deb 15-May-2025 09:30 516K acl2-doc_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 516K acl2-doc_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 537K acl2-emacs_6.3-5_all.deb 24-Oct-2013 18:36 55K acl2-emacs_7.1-1_all.deb 27-Jun-2015 15:48 55K acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 05:08 59K acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 59K acl2-infix-source_6.3-5_all.deb 24-Oct-2013 18:36 86K acl2-infix-source_7.1-1_all.deb 27-Jun-2015 15:48 70K acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 70K acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 70K acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 03:10 72K acl2-infix-source_8.5dfsg-5build3_all.deb 02-Apr-2024 10:02 72K acl2-infix-source_8.5dfsg-6_all.deb 29-Jul-2024 06:20 72K acl2-infix-source_8.6+dfsg-3_all.deb 15-May-2025 09:30 73K acl2-infix-source_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 73K acl2-infix-source_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 72K acl2-infix_6.3-5_amd64.deb 24-Oct-2013 18:36 200K acl2-infix_6.3-5_i386.deb 24-Oct-2013 18:36 189K acl2-infix_7.1-1_amd64.deb 27-Jun-2015 15:48 140K acl2-infix_7.1-1_i386.deb 02-Jun-2015 04:43 142K acl2-infix_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 414K acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 381K acl2-infix_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 470K acl2-infix_8.4dfsg-2_amd64.deb 19-Dec-2021 03:09 551K acl2-infix_8.5dfsg-5build3_amd64.deb 02-Apr-2024 10:02 538K acl2-infix_8.5dfsg-6_amd64.deb 29-Jul-2024 06:20 533K acl2-infix_8.6+dfsg-3_amd64.deb 15-May-2025 09:30 991K acl2-infix_8.6+dfsg-3_arm64.deb 15-May-2025 10:55 969K acl2-infix_8.6+dfsg-3build1_amd64.deb 04-Feb-2026 08:32 976K acl2-infix_8.6+dfsg-3build1_amd64v3.deb 04-Feb-2026 10:06 980K acl2-infix_8.6+dfsg-3build1_arm64.deb 04-Feb-2026 10:06 959K acl2-infix_8.7+dfsg-2_amd64.deb 18-Jun-2026 09:31 993K acl2-infix_8.7+dfsg-2_amd64v3.deb 18-Jun-2026 09:32 994K acl2-infix_8.7+dfsg-2_arm64.deb 18-Jun-2026 10:30 980K acl2-source_6.3-5_all.deb 24-Oct-2013 18:36 4M acl2-source_7.1-1_all.deb 27-Jun-2015 15:48 3M acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 05:08 3M acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 15:24 3M acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 03:10 3M acl2-source_8.5dfsg-5build3_all.deb 02-Apr-2024 10:02 3M acl2-source_8.5dfsg-6_all.deb 29-Jul-2024 06:20 3M acl2-source_8.6+dfsg-3_all.deb 15-May-2025 09:30 4M acl2-source_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 4M acl2-source_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 4M acl2_6.3-5.debian.tar.gz 21-Oct-2013 15:09 158K acl2_6.3-5.dsc 21-Oct-2013 15:09 1749 acl2_6.3-5_amd64.deb 24-Oct-2013 18:36 27M acl2_6.3-5_i386.deb 24-Oct-2013 18:36 23M acl2_6.3.orig-books.tar.gz 21-Oct-2013 15:09 13M acl2_6.3.orig.tar.gz 21-Oct-2013 15:09 7M acl2_7.1-1.debian.tar.xz 02-Jun-2015 01:24 126K acl2_7.1-1.dsc 02-Jun-2015 01:24 2203 acl2_7.1-1_amd64.deb 27-Jun-2015 15:48 16M acl2_7.1-1_i386.deb 02-Jun-2015 04:43 16M acl2_7.1.orig.tar.gz 02-Jun-2015 01:24 60M acl2_8.0dfsg-1.debian.tar.xz 14-Jan-2018 01:08 200K acl2_8.0dfsg-1.dsc 14-Jan-2018 01:08 2245 acl2_8.0dfsg-1_amd64.deb 14-Jan-2018 05:08 19M acl2_8.0dfsg-1_i386.deb 14-Jan-2018 06:49 16M acl2_8.0dfsg.orig.tar.gz 14-Jan-2018 01:08 74M acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 09:00 201K acl2_8.2dfsg-3build1.dsc 23-Mar-2020 09:00 2296 acl2_8.2dfsg-3build1_amd64.deb 23-Mar-2020 15:24 21M acl2_8.2dfsg.orig.tar.gz 20-Dec-2019 01:13 77M acl2_8.4dfsg-2.debian.tar.xz 02-Nov-2021 01:24 304K acl2_8.4dfsg-2.dsc 02-Nov-2021 01:24 2281 acl2_8.4dfsg-2_amd64.deb 19-Dec-2021 03:10 25M acl2_8.4dfsg.orig.tar.gz 29-Oct-2021 01:18 194M acl2_8.5dfsg-5build3.debian.tar.xz 01-Apr-2024 07:43 306K acl2_8.5dfsg-5build3.dsc 01-Apr-2024 07:43 2371 acl2_8.5dfsg-5build3_amd64.deb 02-Apr-2024 10:03 26M acl2_8.5dfsg-6.debian.tar.xz 29-Jul-2024 01:59 306K acl2_8.5dfsg-6.dsc 29-Jul-2024 01:59 2268 acl2_8.5dfsg-6_amd64.deb 29-Jul-2024 06:20 25M acl2_8.5dfsg.orig.tar.gz 28-Jul-2022 01:33 213M acl2_8.6+dfsg-3.debian.tar.xz 15-May-2025 02:36 695K acl2_8.6+dfsg-3.dsc 15-May-2025 02:35 2288 acl2_8.6+dfsg-3_amd64.deb 15-May-2025 09:30 45M acl2_8.6+dfsg-3_arm64.deb 15-May-2025 10:55 45M acl2_8.6+dfsg-3build1.debian.tar.xz 04-Feb-2026 00:43 694K acl2_8.6+dfsg-3build1.dsc 04-Feb-2026 00:43 2312 acl2_8.6+dfsg-3build1_amd64.deb 04-Feb-2026 08:32 47M acl2_8.6+dfsg-3build1_amd64v3.deb 04-Feb-2026 10:06 46M acl2_8.6+dfsg-3build1_arm64.deb 04-Feb-2026 10:06 46M acl2_8.6+dfsg.orig.tar.gz 01-May-2025 18:25 229M acl2_8.7+dfsg-2.debian.tar.xz 18-Jun-2026 01:29 881K acl2_8.7+dfsg-2.dsc 18-Jun-2026 01:29 2288 acl2_8.7+dfsg-2_amd64.deb 18-Jun-2026 09:31 46M acl2_8.7+dfsg-2_amd64v3.deb 18-Jun-2026 09:32 46M acl2_8.7+dfsg-2_arm64.deb 18-Jun-2026 10:30 47M acl2_8.7+dfsg.orig.tar.gz 17-Jun-2026 19:34 238M elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 03:09 69K elpa-acl2_8.5dfsg-5build3_all.deb 02-Apr-2024 10:02 71K elpa-acl2_8.5dfsg-6_all.deb 29-Jul-2024 06:20 71K elpa-acl2_8.6+dfsg-3_all.deb 15-May-2025 09:30 79K elpa-acl2_8.6+dfsg-3build1_all.deb 04-Feb-2026 08:32 79K elpa-acl2_8.7+dfsg-2_all.deb 18-Jun-2026 09:31 78K
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.