The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ 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/ 01-Jul-2025 21:28 - gap/ 05-Nov-2025 23:33 - genius/ 06-Mar-2026 10:38 - glpk/ 14-Mar-2026 20:14 - 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/ 10-Jan-2026 10:15 - maxima/ 06-Feb-2026 11:26 - nauty/ 11-Dec-2025 11:13 - octave/ 14-Mar-2026 20:14 - pari/ 09-Feb-2026 11:32 - primesieve/ 02-Mar-2026 19:50 - 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/ 15-Mar-2026 14:14 -
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.