This machine mirrors various open-source projects and has
4 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ files/ 04-Aug-2020 09:39 - Manifest 15-Jun-2020 17:39 3135 metadata.xml 24-Oct-2017 19:58 1363 why3-for-spark-2018.ebuild 20-Dec-2019 23:09 1712 why3-for-spark-2019-r1.ebuild 17-Jan-2020 11:09 1800 why3-for-spark-2019-r2.ebuild 15-Jun-2020 17:39 2982 why3-for-spark-2019.ebuild 20-Dec-2019 23:09 1781