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 - cgal/ 19-Mar-2025 11:38 - euler/ 17-Mar-2025 13:43 - gap/ 15-Jun-2025 10:48 - glpk/ 01-Jun-2025 10:12 - gp2c/ 27-Jan-2025 15:20 - jags/ 21-Jan-2025 10:49 - lcalc/ 21-May-2025 11:24 - lpsolve/ 18-Mar-2024 10:48 - pari/ 21-Feb-2025 10:55 - rngstreams/ 09-Oct-2024 10:11 - rw/ 19-Feb-2025 10:44 - sympow/ 03-Jun-2025 10:15 - why3-for-spark/ 02-Apr-2025 15:11 - z3/ 29-Jun-2025 16:10 -
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.