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.
../ elpa-fricas_1.3.11-3_all.deb 27-Apr-2025 02:24 147224 elpa-fricas_1.3.12-2_all.deb 13-Feb-2026 17:14 150312 elpa-fricas_1.3.6-6_all.deb 24-Apr-2021 14:32 132136 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 02:42 137664 fricas-databases_1.3.11-3_all.deb 27-Apr-2025 02:24 1320804 fricas-databases_1.3.12-2_all.deb 13-Feb-2026 17:14 1327852 fricas-databases_1.3.6-6_all.deb 24-Apr-2021 14:32 1287876 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 02:42 1313432 fricas-doc_1.3.11-3_all.deb 27-Apr-2025 02:24 304056 fricas-doc_1.3.12-2_all.deb 13-Feb-2026 17:14 307012 fricas-doc_1.3.6-6_all.deb 24-Apr-2021 14:32 291328 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 02:42 294824 fricas-graphics-data_1.3.11-3_all.deb 27-Apr-2025 02:24 1340168 fricas-graphics-data_1.3.12-2_all.deb 13-Feb-2026 17:14 1344848 fricas-graphics-data_1.3.6-6_all.deb 24-Apr-2021 14:32 1302612 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 02:42 1322880 fricas-graphics_1.3.11-3_amd64.deb 27-Apr-2025 02:24 221652 fricas-graphics_1.3.11-3_arm64.deb 27-Apr-2025 02:24 208580 fricas-graphics_1.3.11-3_i386.deb 27-Apr-2025 02:09 221012 fricas-graphics_1.3.12-2_amd64.deb 13-Feb-2026 21:29 222476 fricas-graphics_1.3.12-2_arm64.deb 13-Feb-2026 13:56 206568 fricas-graphics_1.3.12-2_i386.deb 14-Feb-2026 00:24 223884 fricas-graphics_1.3.6-6_amd64.deb 24-Apr-2021 14:43 205152 fricas-graphics_1.3.6-6_arm64.deb 24-Apr-2021 15:13 193820 fricas-graphics_1.3.6-6_i386.deb 24-Apr-2021 14:38 204400 fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 02:41 92852 fricas-graphics_1.3.8-6_arm64.deb 14-Jan-2023 03:42 92856 fricas-graphics_1.3.8-6_i386.deb 14-Jan-2023 02:36 92852 fricas-hypertex-data_1.3.11-3_all.deb 27-Apr-2025 02:24 739988 fricas-hypertex-data_1.3.12-2_all.deb 13-Feb-2026 17:14 743000 fricas-hypertex-data_1.3.6-6_all.deb 24-Apr-2021 14:32 742872 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 02:42 704604 fricas-hypertex_1.3.11-3_amd64.deb 27-Apr-2025 02:24 189204 fricas-hypertex_1.3.11-3_arm64.deb 27-Apr-2025 02:24 182896 fricas-hypertex_1.3.11-3_i386.deb 27-Apr-2025 02:09 193996 fricas-hypertex_1.3.12-2_amd64.deb 13-Feb-2026 21:29 191972 fricas-hypertex_1.3.12-2_arm64.deb 13-Feb-2026 13:56 183072 fricas-hypertex_1.3.12-2_i386.deb 14-Feb-2026 00:24 196416 fricas-hypertex_1.3.6-6_amd64.deb 24-Apr-2021 14:43 176332 fricas-hypertex_1.3.6-6_arm64.deb 24-Apr-2021 15:13 170908 fricas-hypertex_1.3.6-6_i386.deb 24-Apr-2021 14:38 181472 fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 02:41 92848 fricas-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 03:42 92852 fricas-hypertex_1.3.8-6_i386.deb 14-Jan-2023 02:36 92844 fricas-source_1.3.11-3_all.deb 27-Apr-2025 02:24 1469112 fricas-source_1.3.12-2_all.deb 13-Feb-2026 17:14 1477844 fricas-source_1.3.6-6_all.deb 24-Apr-2021 14:32 1403920 fricas-source_1.3.8-6_all.deb 14-Jan-2023 02:42 1446672 fricas-test_1.3.11-3_all.deb 27-Apr-2025 02:24 252288 fricas-test_1.3.12-2_all.deb 13-Feb-2026 17:14 254864 fricas-test_1.3.6-6_all.deb 24-Apr-2021 14:32 361464 fricas-test_1.3.8-6_all.deb 14-Jan-2023 02:42 257640 fricas_1.3.11-3.debian.tar.xz 27-Apr-2025 01:29 261416 fricas_1.3.11-3.dsc 27-Apr-2025 01:29 2364 fricas_1.3.11-3_amd64.deb 27-Apr-2025 02:24 55205504 fricas_1.3.11-3_arm64.deb 27-Apr-2025 02:24 53520048 fricas_1.3.11-3_i386.deb 27-Apr-2025 02:09 50843440 fricas_1.3.11.orig.tar.bz2 30-Jun-2024 17:38 10937641 fricas_1.3.12-2.debian.tar.xz 13-Feb-2026 11:48 262200 fricas_1.3.12-2.dsc 13-Feb-2026 11:48 2366 fricas_1.3.12-2_amd64.deb 13-Feb-2026 21:29 56521720 fricas_1.3.12-2_arm64.deb 13-Feb-2026 13:56 54272576 fricas_1.3.12-2_i386.deb 14-Feb-2026 00:24 52294808 fricas_1.3.12.orig.tar.bz2 12-Feb-2026 18:18 10951028 fricas_1.3.6-6.debian.tar.xz 24-Apr-2021 13:42 66144 fricas_1.3.6-6.dsc 24-Apr-2021 13:42 2346 fricas_1.3.6-6_amd64.deb 24-Apr-2021 14:43 54847372 fricas_1.3.6-6_arm64.deb 24-Apr-2021 15:13 51809948 fricas_1.3.6-6_i386.deb 24-Apr-2021 14:38 53016672 fricas_1.3.6.orig.tar.bz2 23-Nov-2020 15:51 10422732 fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 00:19 245220 fricas_1.3.8-6.dsc 14-Jan-2023 00:19 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 02:41 57534344 fricas_1.3.8-6_arm64.deb 14-Jan-2023 03:42 54519552 fricas_1.3.8-6_i386.deb 14-Jan-2023 02:36 55690388 fricas_1.3.8.orig.tar.bz2 07-Jul-2022 18:49 10878913
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.