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_amd64.deb 24-Oct-2013 16:36 42067578 acl2-books_6.3-5_i386.deb 24-Oct-2013 16:36 37550284 acl2-books_7.1-1_amd64.deb 27-Jun-2015 13:48 19608788 acl2-books_7.1-1_i386.deb 02-Jun-2015 02:43 18602828 acl2-books_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 138083420 acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 119603224 acl2-books_8.2dfsg-3build1_amd64.deb 23-Mar-2020 13:24 171294740 acl2-books_8.4dfsg-2_amd64.deb 19-Dec-2021 01:09 353947352 acl2-books_8.5dfsg-5build3_amd64.deb 02-Apr-2024 08:03 346555008 acl2-books_8.5dfsg-6_amd64.deb 29-Jul-2024 04:20 178788782 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_amd64.deb 24-Oct-2013 16:36 205126 acl2-infix_6.3-5_i386.deb 24-Oct-2013 16:36 193572 acl2-infix_7.1-1_amd64.deb 27-Jun-2015 13:48 143558 acl2-infix_7.1-1_i386.deb 02-Jun-2015 02:43 145560 acl2-infix_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 424152 acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 390264 acl2-infix_8.2dfsg-3build1_amd64.deb 23-Mar-2020 13:24 481148 acl2-infix_8.4dfsg-2_amd64.deb 19-Dec-2021 01:09 564006 acl2-infix_8.5dfsg-5build3_amd64.deb 02-Apr-2024 08:02 551042 acl2-infix_8.5dfsg-6_amd64.deb 29-Jul-2024 04:20 545828 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_amd64.deb 24-Oct-2013 16:36 27878170 acl2_6.3-5_i386.deb 24-Oct-2013 16:36 24013356 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_amd64.deb 27-Jun-2015 13:48 17277416 acl2_7.1-1_i386.deb 02-Jun-2015 02:43 16463104 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_amd64.deb 14-Jan-2018 03:08 19704384 acl2_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 16994892 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_amd64.deb 23-Mar-2020 13:24 21932904 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_amd64.deb 19-Dec-2021 01:10 26133150 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_amd64.deb 02-Apr-2024 08:03 26854572 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_amd64.deb 29-Jul-2024 04:20 26482042 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.