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.
the threshold of truncation in the degree-of-freedom of KR was changed from 5 to 3
made some small changes to the documentation (example command in KR)
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.