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.10-1build3_all.deb 01-Apr-2024 14:43 50760 elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 23:59 51004 elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800 fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1211944 fricas-databases_1.3.11-2_all.deb 28-Jul-2024 23:59 1183460 fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948 fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 14:43 215384 fricas-doc_1.3.11-2_all.deb 28-Jul-2024 23:59 215598 fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252 fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1225974 fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 23:59 1228318 fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516 fricas-graphics_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 123592 fricas-graphics_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 117616 fricas-graphics_1.3.11-2_arm64.deb 29-Jul-2024 00:55 128182 fricas-graphics_1.3.11-2_armhf.deb 29-Jul-2024 00:55 119352 fricas-graphics_1.3.7-5_arm64.deb 27-Jan-2022 18:54 126794 fricas-graphics_1.3.7-5_armhf.deb 27-Jan-2022 19:33 117386 fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 682126 fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 23:59 679570 fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912 fricas-hypertex_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 97916 fricas-hypertex_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 87028 fricas-hypertex_1.3.11-2_arm64.deb 29-Jul-2024 00:55 96990 fricas-hypertex_1.3.11-2_armhf.deb 29-Jul-2024 00:55 86194 fricas-hypertex_1.3.7-5_arm64.deb 27-Jan-2022 18:54 98926 fricas-hypertex_1.3.7-5_armhf.deb 27-Jan-2022 19:33 87508 fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1403286 fricas-source_1.3.11-2_all.deb 28-Jul-2024 23:59 1401188 fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730 fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 14:43 163200 fricas-test_1.3.11-2_all.deb 28-Jul-2024 23:59 160562 fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230 fricas_1.3.10-1build3.debian.tar.xz 31-Mar-2024 06:12 246284 fricas_1.3.10-1build3.dsc 31-Mar-2024 06:12 2503 fricas_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 65049156 fricas_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 63662892 fricas_1.3.10.orig.tar.bz2 15-Feb-2024 12:29 10971513 fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 23:59 246456 fricas_1.3.11-2.dsc 28-Jul-2024 23:59 2363 fricas_1.3.11-2_arm64.deb 29-Jul-2024 00:55 57745050 fricas_1.3.11-2_armhf.deb 29-Jul-2024 00:55 57668142 fricas_1.3.11.orig.tar.bz2 30-Jun-2024 23:49 10937641 fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 17:14 99416 fricas_1.3.7-5.dsc 27-Jan-2022 17:14 2351 fricas_1.3.7-5_arm64.deb 27-Jan-2022 18:54 60708760 fricas_1.3.7-5_armhf.deb 27-Jan-2022 19:34 61181888 fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10859960
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.