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.11-4_all.deb 14-May-2025 12:38 147188 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.11-4_all.deb 14-May-2025 12:38 1320696 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.11-4_all.deb 14-May-2025 12:38 304096 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.11-4_all.deb 14-May-2025 12:38 1341004 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.11-4_amd64.deb 14-May-2025 12:38 221760 fricas-graphics_1.3.11-4_arm64.deb 14-May-2025 13:34 208756 fricas-graphics_1.3.11-4_i386.deb 14-May-2025 12:23 220996 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.11-4_all.deb 14-May-2025 12:38 739848 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.11-4_amd64.deb 14-May-2025 12:38 189204 fricas-hypertex_1.3.11-4_arm64.deb 14-May-2025 13:34 182804 fricas-hypertex_1.3.11-4_i386.deb 14-May-2025 12:23 194060 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.11-4_all.deb 14-May-2025 12:38 1469096 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.11-4_all.deb 14-May-2025 12:38 252352 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-4.debian.tar.xz 14-May-2025 11:42 261640 fricas_1.3.11-4.dsc 14-May-2025 11:42 2366 fricas_1.3.11-4_amd64.deb 14-May-2025 12:38 54459220 fricas_1.3.11-4_arm64.deb 14-May-2025 13:34 52868328 fricas_1.3.11-4_i386.deb 14-May-2025 12:23 49994588 fricas_1.3.11.orig.tar.bz2 30-Jun-2024 17:38 10937641 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.