This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ elpa-fricas_1.3.11-5_all.deb 21-Sep-2025 21:33 144K elpa-fricas_1.3.12-2_all.deb 13-Feb-2026 17:14 147K fricas-databases_1.3.11-5_all.deb 21-Sep-2025 21:33 1M fricas-databases_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-doc_1.3.11-5_all.deb 21-Sep-2025 21:33 297K fricas-doc_1.3.12-2_all.deb 13-Feb-2026 17:14 300K fricas-graphics-data_1.3.11-5_all.deb 21-Sep-2025 21:33 1M fricas-graphics-data_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-graphics_1.3.11-5+b1_arm64.deb 20-Jan-2026 11:47 200K fricas-graphics_1.3.11-5_amd64.deb 21-Sep-2025 21:38 216K fricas-graphics_1.3.11-5_arm64.deb 21-Sep-2025 21:33 200K fricas-graphics_1.3.11-5_armhf.deb 21-Sep-2025 21:42 200K fricas-graphics_1.3.11-5_i386.deb 21-Sep-2025 21:13 216K fricas-graphics_1.3.12-2_amd64.deb 13-Feb-2026 21:29 217K fricas-graphics_1.3.12-2_arm64.deb 13-Feb-2026 13:56 202K fricas-graphics_1.3.12-2_armhf.deb 13-Feb-2026 13:25 202K fricas-graphics_1.3.12-2_i386.deb 14-Feb-2026 00:24 219K fricas-hypertex-data_1.3.11-5_all.deb 21-Sep-2025 21:33 723K fricas-hypertex-data_1.3.12-2_all.deb 13-Feb-2026 17:14 726K fricas-hypertex_1.3.11-5+b1_arm64.deb 20-Jan-2026 11:47 177K fricas-hypertex_1.3.11-5_amd64.deb 21-Sep-2025 21:38 186K fricas-hypertex_1.3.11-5_arm64.deb 21-Sep-2025 21:33 177K fricas-hypertex_1.3.11-5_armhf.deb 21-Sep-2025 21:42 174K fricas-hypertex_1.3.11-5_i386.deb 21-Sep-2025 21:13 190K fricas-hypertex_1.3.12-2_amd64.deb 13-Feb-2026 21:29 187K fricas-hypertex_1.3.12-2_arm64.deb 13-Feb-2026 13:56 179K fricas-hypertex_1.3.12-2_armhf.deb 13-Feb-2026 13:25 176K fricas-hypertex_1.3.12-2_i386.deb 14-Feb-2026 00:24 192K fricas-source_1.3.11-5_all.deb 21-Sep-2025 21:33 1M fricas-source_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-test_1.3.11-5_all.deb 21-Sep-2025 21:33 247K fricas-test_1.3.12-2_all.deb 13-Feb-2026 17:14 249K fricas_1.3.11-5+b1_arm64.deb 20-Jan-2026 11:47 52M fricas_1.3.11-5.debian.tar.xz 21-Sep-2025 20:32 256K fricas_1.3.11-5.dsc 21-Sep-2025 20:32 2366 fricas_1.3.11-5_amd64.deb 21-Sep-2025 21:38 54M fricas_1.3.11-5_arm64.deb 21-Sep-2025 21:33 52M fricas_1.3.11-5_armhf.deb 21-Sep-2025 21:42 49M fricas_1.3.11-5_i386.deb 21-Sep-2025 21:13 50M fricas_1.3.11.orig.tar.bz2 30-Jun-2024 17:38 10M fricas_1.3.12-2.debian.tar.xz 13-Feb-2026 11:48 256K fricas_1.3.12-2.dsc 13-Feb-2026 11:48 2366 fricas_1.3.12-2_amd64.deb 13-Feb-2026 21:29 54M fricas_1.3.12-2_arm64.deb 13-Feb-2026 13:56 52M fricas_1.3.12-2_armhf.deb 13-Feb-2026 13:25 49M fricas_1.3.12-2_i386.deb 14-Feb-2026 00:24 50M fricas_1.3.12.orig.tar.bz2 12-Feb-2026 18:18 10M