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 !
../ maude_3.4-1+b1_arm64.deb 01-Nov-2024 20:20 1M maude_3.4-1.debian.tar.xz 07-Apr-2024 11:01 6544 maude_3.4-1.dsc 07-Apr-2024 11:01 1387 maude_3.4-1_amd64.deb 07-Apr-2024 11:32 1M maude_3.4.orig.tar.gz 07-Apr-2024 11:01 3M maude_3.5.1-1.debian.tar.xz 25-Oct-2025 11:28 6580 maude_3.5.1-1.dsc 25-Oct-2025 11:28 1425 maude_3.5.1-1_amd64.deb 25-Oct-2025 12:00 1M maude_3.5.1-1_arm64.deb 25-Oct-2025 11:55 1M maude_3.5.1-1_armhf.deb 25-Oct-2025 11:54 1023K maude_3.5.1-1_i386.deb 25-Oct-2025 12:00 1M maude_3.5.1.orig.tar.gz 25-Oct-2025 11:28 2M