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-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-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_amd64.deb 13-Jan-2018 13:52 137946376 acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 02:47 141349688 acl2-books_8.0dfsg-1_i386.deb 13-Jan-2018 21:26 115998080 acl2-books_8.3dfsg-2_amd64.deb 27-Jan-2021 21:57 252878684 acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 247461500 acl2-books_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 213849148 acl2-books_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 01:26 301318764 acl2-books_8.5dfsg-5+b1_arm64.deb 26-Mar-2024 23:49 304080380 acl2-books_8.5dfsg-5+b1_i386.deb 27-Mar-2024 00:20 259597340 acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 300900920 acl2-books_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 303470876 acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 259607668 acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 13:52 401524 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-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-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_amd64.deb 13-Jan-2018 13:52 432032 acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 02:47 442796 acl2-infix_8.0dfsg-1_i386.deb 13-Jan-2018 21:26 399340 acl2-infix_8.3dfsg-2_amd64.deb 27-Jan-2021 21:57 490280 acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 480668 acl2-infix_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 496480 acl2-infix_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 01:26 478324 acl2-infix_8.5dfsg-5+b1_arm64.deb 26-Mar-2024 23:49 477204 acl2-infix_8.5dfsg-5+b1_i386.deb 27-Mar-2024 00:20 490400 acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 475288 acl2-infix_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 471720 acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 488940 acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 3081324 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_amd64.deb 13-Jan-2018 13:52 19855896 acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 02:47 17862108 acl2_8.0dfsg-1_i386.deb 13-Jan-2018 21:26 16994808 acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 13:52 77635571 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-2_amd64.deb 27-Jan-2021 21:57 21481292 acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 19892236 acl2_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 19487092 acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 02:39 117260902 acl2_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 01:26 23420804 acl2_8.5dfsg-5+b1_arm64.deb 26-Mar-2024 23:49 21626008 acl2_8.5dfsg-5+b1_i386.deb 27-Mar-2024 00:20 20418672 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_amd64.deb 16-Jan-2023 20:15 23408224 acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 21588828 acl2_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 20377820 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.