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 !
../ libportmidi-dev_2.0.7-1_amd64.deb 07-Nov-2025 12:48 73K libportmidi-dev_2.0.7-1_arm64.deb 07-Nov-2025 12:48 75K libportmidi-dev_2.0.7-1_armhf.deb 07-Nov-2025 12:48 72K libportmidi-dev_2.0.7-1_i386.deb 07-Nov-2025 12:48 74K libportmidi-dev_2.0.8-1_amd64.deb 08-Dec-2025 16:26 73K libportmidi-dev_2.0.8-1_arm64.deb 08-Dec-2025 16:26 75K libportmidi-dev_2.0.8-1_armhf.deb 08-Dec-2025 16:26 72K libportmidi-dev_2.0.8-1_i386.deb 08-Dec-2025 16:26 74K libportmidi2_2.0.7-1_amd64.deb 07-Nov-2025 12:48 22K libportmidi2_2.0.7-1_arm64.deb 07-Nov-2025 12:48 23K libportmidi2_2.0.7-1_armhf.deb 07-Nov-2025 12:48 20K libportmidi2_2.0.7-1_i386.deb 07-Nov-2025 12:48 23K libportmidi2_2.0.8-1_amd64.deb 08-Dec-2025 16:26 22K libportmidi2_2.0.8-1_arm64.deb 08-Dec-2025 16:26 23K libportmidi2_2.0.8-1_armhf.deb 08-Dec-2025 16:26 20K libportmidi2_2.0.8-1_i386.deb 08-Dec-2025 16:26 23K portmidi_2.0.7-1.debian.tar.xz 07-Nov-2025 12:28 8352 portmidi_2.0.7-1.dsc 07-Nov-2025 12:28 2380 portmidi_2.0.7.orig.tar.xz 07-Nov-2025 12:28 150K portmidi_2.0.8-1.debian.tar.xz 08-Dec-2025 15:29 8364 portmidi_2.0.8-1.dsc 08-Dec-2025 15:29 2380 portmidi_2.0.8.orig.tar.xz 08-Dec-2025 15:29 150K