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 !
../ cadical-configure.patch 13-Sep-2022 03:10 380 cadical-makefile-in-respect-ar-2.0.0.patch 27-Jun-2024 23:11 363 cadical-makefile.in-ar.patch 28-Dec-2021 18:09 323