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_8.0dfsg-1_all.deb 13-Jan-2018 13:52 73306868 acl2-books-certs_8.3dfsg-1_all.deb 24-Aug-2020 04:11 13664 acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 145388148 acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 14:55 178375056 acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 12473396 acl2-books-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 19520532 acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 19539252 acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 24662324 acl2-books_8.0dfsg-1_armhf.deb 01-May-2022 09:11 133744084 acl2-books_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 12956 acl2-books_8.5dfsg-5_armhf.deb 26-Jan-2023 10:08 278815612 acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 13:52 401524 acl2-doc_8.3dfsg-1_all.deb 24-Aug-2020 04:11 447480 acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 02:25 447608 acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 14:55 481328 acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 13:52 67608 acl2-emacs_8.3dfsg-1_all.deb 24-Aug-2020 04:11 69232 acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 69412 acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 79188 acl2-infix-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 79720 acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 79880 acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 72332 acl2-infix_8.0dfsg-1_armhf.deb 01-May-2022 09:11 442132 acl2-infix_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 441808 acl2-infix_8.5dfsg-5_armhf.deb 26-Jan-2023 10:08 467956 acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 3081324 acl2-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 3340264 acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 3339896 acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 3587888 acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 13:52 204760 acl2_8.0dfsg-1.dsc 13-Jan-2018 13:52 2245 acl2_8.0dfsg-1_armhf.deb 01-May-2022 09:11 16659012 acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 13:52 77635571 acl2_8.3dfsg-1.debian.tar.xz 24-Aug-2020 02:39 205984 acl2_8.3dfsg-1.dsc 24-Aug-2020 02:39 2250 acl2_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 18109240 acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 14:34 228320 acl2_8.3dfsg-2.dsc 27-Jan-2021 14:34 2275 acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 02:39 117260902 acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 02:00 312896 acl2_8.5dfsg-5.dsc 16-Jan-2023 02:00 2268 acl2_8.5dfsg-5_armhf.deb 26-Jan-2023 10:08 18907700 acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 14:13 223546594 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 70628
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.