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 !
../ alt-ergo/ 03-Dec-2024 10:22 - calc/ 27-Feb-2025 11:17 - cgal/ 08-Jul-2025 16:22 - cliquer/ 19-Oct-2024 10:17 - euler/ 14-Nov-2024 11:05 - frobby/ 10-Feb-2025 11:24 - gap/ 10-May-2025 14:06 - genius/ 25-Jun-2025 13:01 - glpk/ 06-Jun-2025 14:36 - lpsolve/ 20-Mar-2024 19:34 - mathomatic/ 12-Mar-2025 11:42 - nauty/ 19-Oct-2024 10:17 - num-utils/ 22-Jul-2025 02:08 - palp/ 09-Jan-2025 10:31 - pari/ 19-Feb-2025 01:06 - picosat/ 02-Aug-2025 13:19 - prng/ 24-May-2025 13:55 - psmt2-frontend/ 03-Dec-2024 10:22 - rngstreams/ 31-May-2025 15:48 - smtinterpol/ 06-Aug-2025 13:59 - sympow/ 01-Mar-2025 07:54 - why3-for-spark/ 18-Dec-2024 14:00 - z3/ 14-Jul-2025 19:31 -