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/ 27-Feb-2025 11:17 - cliquer/ 19-Oct-2024 10:17 - euler/ 14-Nov-2024 11:05 - flint/ 09-Nov-2025 14:47 - frobby/ 10-Feb-2025 11:24 - genius/ 25-Jun-2025 13:01 - glpk/ 21-Nov-2025 21:44 - lpsolve/ 20-Mar-2024 19:34 - mathomatic/ 12-Mar-2025 11:42 - 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 - rngstreams/ 31-May-2025 15:48 - smtinterpol/ 06-Aug-2025 13:59 - sympow/ 01-Mar-2025 07:54 - z3/ 09-Oct-2025 02:07 -
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.