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-2_all.deb 28-Jul-2024 17:33 147164 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-2_all.deb 28-Jul-2024 17:33 1320468 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-2_all.deb 28-Jul-2024 17:33 304048 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-2_all.deb 28-Jul-2024 17:33 1341188 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-2+b1_i386.deb 04-Jan-2025 23:00 220896 fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 17:33 221612 fricas-graphics_1.3.11-2_arm64.deb 28-Jul-2024 18:24 208452 fricas-graphics_1.3.11-2_i386.deb 28-Jul-2024 17:38 220724 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-2_all.deb 28-Jul-2024 17:33 740224 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-2+b1_i386.deb 04-Jan-2025 23:00 194340 fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 17:33 189140 fricas-hypertex_1.3.11-2_arm64.deb 28-Jul-2024 18:24 182908 fricas-hypertex_1.3.11-2_i386.deb 28-Jul-2024 17:38 194004 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-2_all.deb 28-Jul-2024 17:33 1469032 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-2_all.deb 28-Jul-2024 17:33 252292 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-2+b1_i386.deb 04-Jan-2025 23:00 51078252 fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 16:32 246456 fricas_1.3.11-2.dsc 28-Jul-2024 16:32 2363 fricas_1.3.11-2_amd64.deb 28-Jul-2024 17:33 53947452 fricas_1.3.11-2_arm64.deb 28-Jul-2024 18:24 50820972 fricas_1.3.11-2_i386.deb 28-Jul-2024 17:38 51065640 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.