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.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-certs_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 221620564 acl2-books-certs_8.6+dfsg-3_all.deb 14-May-2025 20:24 221931052 acl2-books-certs_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 243390320 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-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 27502672 acl2-books-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 27499896 acl2-books-source_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 29738624 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_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-books_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 435743480 acl2-books_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 432522576 acl2-books_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 360999248 acl2-books_8.6+dfsg-3+b1_arm64.deb 20-Jan-2026 05:36 429765564 acl2-books_8.6+dfsg-3_amd64.deb 14-May-2025 20:40 435771168 acl2-books_8.6+dfsg-3_i386.deb 14-May-2025 22:27 361067836 acl2-books_8.7+dfsg-2_amd64.deb 17-Jun-2026 21:23 478722348 acl2-books_8.7+dfsg-2_arm64.deb 17-Jun-2026 20:31 469856376 acl2-books_8.7+dfsg-2_i386.deb 18-Jun-2026 01:39 416998776 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-doc_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 524912 acl2-doc_8.6+dfsg-3_all.deb 14-May-2025 20:24 525148 acl2-doc_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 546044 acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 69412 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-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 72652 acl2-infix-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 72836 acl2-infix-source_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 71884 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_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-infix_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 886800 acl2-infix_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 853784 acl2-infix_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 872680 acl2-infix_8.6+dfsg-3+b1_arm64.deb 20-Jan-2026 05:36 845568 acl2-infix_8.6+dfsg-3_amd64.deb 14-May-2025 20:40 885540 acl2-infix_8.6+dfsg-3_i386.deb 14-May-2025 22:27 872968 acl2-infix_8.7+dfsg-2_amd64.deb 17-Jun-2026 21:23 894496 acl2-infix_8.7+dfsg-2_arm64.deb 17-Jun-2026 20:31 864300 acl2-infix_8.7+dfsg-2_i386.deb 18-Jun-2026 01:39 885196 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-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 3996788 acl2-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 3997164 acl2-source_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 4071608 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.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 acl2_8.6+dfsg-2.debian.tar.xz 27-Apr-2025 12:54 445128 acl2_8.6+dfsg-2.dsc 27-Apr-2025 12:54 2286 acl2_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 36900528 acl2_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 36610984 acl2_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 40681708 acl2_8.6+dfsg-3+b1_arm64.deb 20-Jan-2026 05:36 36708204 acl2_8.6+dfsg-3.debian.tar.xz 14-May-2025 14:10 711200 acl2_8.6+dfsg-3.dsc 14-May-2025 14:10 2288 acl2_8.6+dfsg-3_amd64.deb 14-May-2025 20:40 37165672 acl2_8.6+dfsg-3_i386.deb 14-May-2025 22:27 41086688 acl2_8.6+dfsg.orig.tar.gz 26-Apr-2025 21:21 240329345 acl2_8.7+dfsg-2.debian.tar.xz 17-Jun-2026 14:31 902016 acl2_8.7+dfsg-2.dsc 17-Jun-2026 14:31 2288 acl2_8.7+dfsg-2_amd64.deb 17-Jun-2026 21:23 37341832 acl2_8.7+dfsg-2_arm64.deb 17-Jun-2026 20:31 37918564 acl2_8.7+dfsg-2_i386.deb 18-Jun-2026 01:39 39801176 acl2_8.7+dfsg.orig.tar.gz 17-Jun-2026 08:01 249797630 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 70628 elpa-acl2_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 78264 elpa-acl2_8.6+dfsg-3_all.deb 14-May-2025 20:24 78456 elpa-acl2_8.7+dfsg-2_all.deb 17-Jun-2026 21:12 77544
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.