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 !
../ calc/ 24-Apr-2025 13:33 - clipper2/ 10-Jan-2026 10:15 - cliquer/ 11-Dec-2025 11:13 - coq/ 11-Mar-2026 08:54 - coq-stdlib/ 11-Mar-2026 08:54 - ent/ 30-Nov-2025 14:02 - euler/ 09-Apr-2026 19:57 - genius/ 02-Jun-2026 16:02 - glpk/ 21-Apr-2026 10:31 - gmm/ 03-Jul-2025 13:01 - gmp-ecm/ 11-Dec-2025 11:13 - gp2c/ 27-Jan-2025 15:20 - jags/ 21-Jan-2025 10:49 - lpsolve/ 16-Mar-2026 06:16 - lrcalc/ 27-Jul-2025 11:15 - manifold/ 08-Jun-2026 17:47 - maxima/ 06-Feb-2026 11:26 - nauty/ 11-Dec-2025 11:13 - octave/ 21-Mar-2026 13:47 - pari/ 09-Feb-2026 11:32 - primesieve/ 02-Mar-2026 19:50 - psmt2-frontend/ 13-Apr-2026 10:08 - pspp/ 28-Dec-2025 15:36 - rngstreams/ 09-Oct-2024 10:11 - rw/ 19-Feb-2025 10:44 - sympow/ 03-Jun-2025 10:15 - z3/ 02-Jun-2026 22:41 -