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-5_all.deb 17-Jan-2023 02:29 226698028 acl2-books-certs_8.5dfsg-5build3_all.deb 02-Apr-2024 08:03 226234436 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-5_all.deb 17-Jan-2023 02:29 24014556 acl2-books-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 23801362 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-5_arm64.deb 17-Jan-2023 17:45 352159590 acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 07:04 330785190 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-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-5_all.deb 17-Jan-2023 02:29 484782 acl2-doc_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 485308 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-5_all.deb 17-Jan-2023 02:29 73612 acl2-infix-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 74148 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-5_arm64.deb 17-Jan-2023 17:45 552418 acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 07:04 553900 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-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-5_all.deb 17-Jan-2023 02:29 3651794 acl2-source_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 3652452 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-5.debian.tar.xz 16-Jan-2023 17:44 312896 acl2_8.5dfsg-5.dsc 16-Jan-2023 17:44 2268 acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 17:45 25730506 acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 07:04 23126052 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.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-5_all.deb 17-Jan-2023 02:29 72014 elpa-acl2_8.5dfsg-5build3_all.deb 02-Apr-2024 08:02 72432
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.