This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ jmph__dome_city.diz 07-Jun-2016 05:51 616 jmph__dome_city.zip 07-Jun-2016 05:51 29K jmph__p2nlogo2.diz 07-Jun-2016 05:51 88 jmph__p2nlogo2.zip 07-Jun-2016 05:51 20K nom_de_nom__type_theory.tar.gz 17-Jun-2016 16:41 22M