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 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:29 50270 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-databases_1.3.8-6_all.deb 14-Jan-2023 09:29 1195970 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-doc_1.3.8-6_all.deb 14-Jan-2023 09:29 215354 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-data_1.3.8-6_all.deb 14-Jan-2023 09:29 1223472 fricas-graphics_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 128004 fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 23:59 129962 fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 129700 fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3532 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-data_1.3.8-6_all.deb 14-Jan-2023 09:29 651852 fricas-hypertex_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 97952 fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 23:59 97106 fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 99942 fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3524 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-source_1.3.8-6_all.deb 14-Jan-2023 09:29 1390462 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-test_1.3.8-6_all.deb 14-Jan-2023 09:29 174988 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_amd64.deb 01-Apr-2024 14:43 65991450 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_amd64.deb 28-Jul-2024 23:59 60100996 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_amd64.deb 27-Jan-2022 18:24 62769332 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_amd64.deb 14-Jan-2023 09:29 64626364 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.