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-1_all.deb 01-Jul-2024 00:54 50832 elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:29 50270 elpa-fricas_1.3.8-8_all.deb 14-Jun-2023 00:04 50406 fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1211944 fricas-databases_1.3.11-1_all.deb 01-Jul-2024 00:54 1183454 fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 09:29 1195970 fricas-databases_1.3.8-8_all.deb 14-Jun-2023 00:04 1195864 fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 14:43 215384 fricas-doc_1.3.11-1_all.deb 01-Jul-2024 00:54 215606 fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 09:29 215354 fricas-doc_1.3.8-8_all.deb 14-Jun-2023 00:04 215498 fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1225974 fricas-graphics-data_1.3.11-1_all.deb 01-Jul-2024 00:54 1227530 fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 09:29 1223472 fricas-graphics-data_1.3.8-8_all.deb 14-Jun-2023 00:04 1225716 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-1_arm64.deb 01-Jul-2024 02:59 125740 fricas-graphics_1.3.11-1_armhf.deb 01-Jul-2024 02:59 119464 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-graphics_1.3.8-6_arm64.deb 14-Jan-2023 09:48 3536 fricas-graphics_1.3.8-6_armhf.deb 14-Jan-2023 10:48 3540 fricas-graphics_1.3.8-8_arm64.deb 14-Jun-2023 01:14 122806 fricas-graphics_1.3.8-8_armhf.deb 14-Jun-2023 02:14 117260 fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 682126 fricas-hypertex-data_1.3.11-1_all.deb 01-Jul-2024 00:54 679496 fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 09:29 651852 fricas-hypertex-data_1.3.8-8_all.deb 14-Jun-2023 00:04 681334 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-1_arm64.deb 01-Jul-2024 02:59 96852 fricas-hypertex_1.3.11-1_armhf.deb 01-Jul-2024 02:59 86022 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-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 09:48 3524 fricas-hypertex_1.3.8-6_armhf.deb 14-Jan-2023 10:48 3530 fricas-hypertex_1.3.8-8_arm64.deb 14-Jun-2023 01:14 96956 fricas-hypertex_1.3.8-8_armhf.deb 14-Jun-2023 02:14 86726 fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1403286 fricas-source_1.3.11-1_all.deb 01-Jul-2024 00:54 1400894 fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730 fricas-source_1.3.8-6_all.deb 14-Jan-2023 09:29 1390462 fricas-source_1.3.8-8_all.deb 14-Jun-2023 00:04 1390192 fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 14:43 163200 fricas-test_1.3.11-1_all.deb 01-Jul-2024 00:54 160556 fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230 fricas-test_1.3.8-6_all.deb 14-Jan-2023 09:29 174988 fricas-test_1.3.8-8_all.deb 14-Jun-2023 00:04 175092 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-1.debian.tar.xz 30-Jun-2024 23:49 246468 fricas_1.3.11-1.dsc 30-Jun-2024 23:49 2363 fricas_1.3.11-1_arm64.deb 01-Jul-2024 02:59 63133334 fricas_1.3.11-1_armhf.deb 01-Jul-2024 02:59 62146044 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 fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 05:34 245220 fricas_1.3.8-6.dsc 14-Jan-2023 05:34 2352 fricas_1.3.8-6_arm64.deb 14-Jan-2023 09:48 62457710 fricas_1.3.8-6_armhf.deb 14-Jan-2023 10:48 61803122 fricas_1.3.8-8.debian.tar.xz 13-Jun-2023 23:35 245940 fricas_1.3.8-8.dsc 13-Jun-2023 23:35 2356 fricas_1.3.8-8_arm64.deb 14-Jun-2023 01:14 62440312 fricas_1.3.8-8_armhf.deb 14-Jun-2023 02:14 61764586 fricas_1.3.8.orig.tar.bz2 07-Jul-2022 23:24 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.