The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ elpa-fricas_1.3.11-3_all.deb 27-Apr-2025 02:24 147224 elpa-fricas_1.3.13-1_all.deb 08-Jun-2026 15:08 152060 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.13-1_all.deb 08-Jun-2026 15:08 1340756 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.13-1_all.deb 08-Jun-2026 15:08 307056 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.13-1_all.deb 08-Jun-2026 15:08 1346724 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.13-1_amd64.deb 08-Jun-2026 15:08 223852 fricas-graphics_1.3.13-1_arm64.deb 08-Jun-2026 15:03 208260 fricas-graphics_1.3.13-1_i386.deb 08-Jun-2026 15:13 225256 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.13-1_all.deb 08-Jun-2026 15:08 744584 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.13-1_amd64.deb 08-Jun-2026 15:08 193488 fricas-hypertex_1.3.13-1_arm64.deb 08-Jun-2026 15:03 184628 fricas-hypertex_1.3.13-1_i386.deb 08-Jun-2026 15:13 197776 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.13-1_all.deb 08-Jun-2026 15:08 1492220 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.13-1_all.deb 08-Jun-2026 15:08 257068 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.13-1.debian.tar.xz 08-Jun-2026 13:47 262212 fricas_1.3.13-1.dsc 08-Jun-2026 13:47 2366 fricas_1.3.13-1_amd64.deb 08-Jun-2026 15:08 70491912 fricas_1.3.13-1_arm64.deb 08-Jun-2026 15:03 62633836 fricas_1.3.13-1_i386.deb 08-Jun-2026 15:13 62069032 fricas_1.3.13.orig.tar.bz2 08-Jun-2026 13:47 10997314 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.