The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ acl2-books-certs_6.3-5_all.deb 24-Oct-2013 16:36 11641112 acl2-books-certs_7.1-1_all.deb 27-Jun-2015 13:48 13191160 acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 73403184 acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 68979892 acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 01:10 231831222 acl2-books-certs_8.5dfsg-5build3_all.deb 02-Apr-2024 08:03 226234436 acl2-books-certs_8.5dfsg-6_all.deb 29-Jul-2024 04:20 82468930 acl2-books-source_6.3-5_all.deb 24-Oct-2013 16:36 9570222 acl2-books-source_7.1-1_all.deb 27-Jun-2015 13:48 10333152 acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 12466104 acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 14290112 acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 22136204 acl2-books-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 23801362 acl2-books-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 23816010 acl2-books_6.3-5_armhf.deb 23-Oct-2013 04:44 113350618 acl2-books_7.1-1_arm64.deb 02-Jun-2015 14:43 19583214 acl2-books_7.1-1_armhf.deb 02-Jun-2015 12:58 62421090 acl2-books_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 141266400 acl2-books_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 121281400 acl2-books_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 169297064 acl2-books_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 158561012 acl2-books_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 351062826 acl2-books_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 336148864 acl2-books_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 353503934 acl2-books_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 333055736 acl2-books_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 177629860 acl2-books_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 169704228 acl2-doc_6.3-5_all.deb 24-Oct-2013 16:36 12728778 acl2-doc_7.1-1_all.deb 27-Jun-2015 13:48 361780 acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 03:08 394360 acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 428100 acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 01:09 451656 acl2-doc_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 485308 acl2-doc_8.5dfsg-6_all.deb 29-Jul-2024 04:20 485170 acl2-emacs_6.3-5_all.deb 24-Oct-2013 16:36 56302 acl2-emacs_7.1-1_all.deb 27-Jun-2015 13:48 56524 acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 60340 acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 60520 acl2-infix-source_6.3-5_all.deb 24-Oct-2013 16:36 88034 acl2-infix-source_7.1-1_all.deb 27-Jun-2015 13:48 72020 acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 71888 acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 71920 acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 73680 acl2-infix-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 74148 acl2-infix-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 74020 acl2-infix_6.3-5_armhf.deb 23-Oct-2013 04:44 587300 acl2-infix_7.1-1_arm64.deb 02-Jun-2015 14:43 151024 acl2-infix_7.1-1_armhf.deb 02-Jun-2015 12:58 433376 acl2-infix_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 430600 acl2-infix_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 409780 acl2-infix_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 471912 acl2-infix_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 457852 acl2-infix_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 572608 acl2-infix_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 564612 acl2-infix_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 554498 acl2-infix_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 554580 acl2-infix_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 546228 acl2-infix_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 554572 acl2-source_6.3-5_all.deb 24-Oct-2013 16:36 3795138 acl2-source_7.1-1_all.deb 27-Jun-2015 13:48 2838230 acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 3074488 acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 3268812 acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 01:10 3536828 acl2-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 3652452 acl2-source_8.5dfsg-6_all.deb 29-Jul-2024 04:20 3645750 acl2_6.3-5.debian.tar.gz 21-Oct-2013 13:09 161480 acl2_6.3-5.dsc 21-Oct-2013 13:09 1749 acl2_6.3-5_armhf.deb 23-Oct-2013 04:44 24228232 acl2_6.3.orig-books.tar.gz 21-Oct-2013 13:09 13598991 acl2_6.3.orig.tar.gz 21-Oct-2013 13:09 7068895 acl2_7.1-1.debian.tar.xz 01-Jun-2015 23:24 128900 acl2_7.1-1.dsc 01-Jun-2015 23:24 2203 acl2_7.1-1_arm64.deb 02-Jun-2015 14:43 15646510 acl2_7.1-1_armhf.deb 02-Jun-2015 12:58 16136508 acl2_7.1.orig.tar.gz 01-Jun-2015 23:24 63342334 acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 23:08 204760 acl2_8.0dfsg-1.dsc 13-Jan-2018 23:08 2245 acl2_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 17735608 acl2_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 16180312 acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 23:08 77635571 acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 07:00 206024 acl2_8.2dfsg-3build1.dsc 23-Mar-2020 07:00 2296 acl2_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 20342888 acl2_8.2dfsg-3build1_armhf.deb 24-Mar-2020 08:18 18614872 acl2_8.2dfsg.orig.tar.gz 19-Dec-2019 23:13 80652725 acl2_8.4dfsg-2.debian.tar.xz 01-Nov-2021 23:24 311628 acl2_8.4dfsg-2.dsc 01-Nov-2021 23:24 2281 acl2_8.4dfsg-2_arm64.deb 26-Dec-2021 07:08 25090910 acl2_8.4dfsg-2_armhf.deb 26-Dec-2021 05:49 22325788 acl2_8.4dfsg.orig.tar.gz 28-Oct-2021 23:18 202991839 acl2_8.5dfsg-5build3.debian.tar.xz 01-Apr-2024 05:43 313036 acl2_8.5dfsg-5build3.dsc 01-Apr-2024 05:43 2371 acl2_8.5dfsg-5build3_arm64.deb 11-Apr-2024 15:38 25345322 acl2_8.5dfsg-5build3_armhf.deb 03-Apr-2024 15:40 22419416 acl2_8.5dfsg-6.debian.tar.xz 28-Jul-2024 23:59 312848 acl2_8.5dfsg-6.dsc 28-Jul-2024 23:59 2268 acl2_8.5dfsg-6_arm64.deb 29-Jul-2024 07:11 25459098 acl2_8.5dfsg-6_armhf.deb 29-Jul-2024 08:18 22133522 acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 23:33 223546594 elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 01:09 70790 elpa-acl2_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 72432 elpa-acl2_8.5dfsg-6_all.deb 29-Jul-2024 04:20 72514
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.