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.12-2_all.deb 13-Feb-2026 17:14 147K elpa-fricas_1.3.13-1_all.deb 08-Jun-2026 15:08 148K fricas-databases_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-databases_1.3.13-1_all.deb 08-Jun-2026 15:08 1M fricas-doc_1.3.12-2_all.deb 13-Feb-2026 17:14 300K fricas-doc_1.3.13-1_all.deb 08-Jun-2026 15:08 300K fricas-graphics-data_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-graphics-data_1.3.13-1_all.deb 08-Jun-2026 15:08 1M 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-graphics_1.3.13-1_amd64.deb 08-Jun-2026 15:08 219K fricas-graphics_1.3.13-1_arm64.deb 08-Jun-2026 15:03 203K fricas-graphics_1.3.13-1_armhf.deb 08-Jun-2026 15:13 204K fricas-graphics_1.3.13-1_i386.deb 08-Jun-2026 15:13 220K fricas-hypertex-data_1.3.12-2_all.deb 13-Feb-2026 17:14 726K fricas-hypertex-data_1.3.13-1_all.deb 08-Jun-2026 15:08 727K 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-hypertex_1.3.13-1_amd64.deb 08-Jun-2026 15:08 189K fricas-hypertex_1.3.13-1_arm64.deb 08-Jun-2026 15:03 180K fricas-hypertex_1.3.13-1_armhf.deb 08-Jun-2026 15:13 178K fricas-hypertex_1.3.13-1_i386.deb 08-Jun-2026 15:13 193K fricas-source_1.3.12-2_all.deb 13-Feb-2026 17:14 1M fricas-source_1.3.13-1_all.deb 08-Jun-2026 15:08 1M fricas-test_1.3.12-2_all.deb 13-Feb-2026 17:14 249K fricas-test_1.3.13-1_all.deb 08-Jun-2026 15:08 251K 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 fricas_1.3.13-1.debian.tar.xz 08-Jun-2026 13:47 256K fricas_1.3.13-1.dsc 08-Jun-2026 13:47 2366 fricas_1.3.13-1_amd64.deb 08-Jun-2026 15:08 67M fricas_1.3.13-1_arm64.deb 08-Jun-2026 15:03 60M fricas_1.3.13-1_armhf.deb 08-Jun-2026 15:13 58M fricas_1.3.13-1_i386.deb 08-Jun-2026 15:13 59M fricas_1.3.13.orig.tar.bz2 08-Jun-2026 13:47 10M