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.6-1_amd64.deb 23-Oct-2025 05:13 74K libportmidi-dev_2.0.6-1_arm64.deb 22-Oct-2025 14:19 76K libportmidi-dev_2.0.6-1_armhf.deb 22-Oct-2025 15:05 72K libportmidi-dev_2.0.6-1_i386.deb 22-Oct-2025 15:20 75K libportmidi-dev_217-6.1+b4_amd64.deb 04-Jan-2025 23:23 57K libportmidi-dev_217-6.1+b4_arm64.deb 05-Jan-2025 00:39 57K libportmidi-dev_217-6.1+b4_armhf.deb 05-Jan-2025 02:12 55K libportmidi-dev_217-6.1+b4_i386.deb 05-Jan-2025 01:47 58K libportmidi0_217-6.1+b4_amd64.deb 04-Jan-2025 23:23 21K libportmidi0_217-6.1+b4_arm64.deb 05-Jan-2025 00:39 21K libportmidi0_217-6.1+b4_armhf.deb 05-Jan-2025 02:12 19K libportmidi0_217-6.1+b4_i386.deb 05-Jan-2025 01:47 22K libportmidi2_2.0.6-1_amd64.deb 23-Oct-2025 05:13 22K libportmidi2_2.0.6-1_arm64.deb 22-Oct-2025 14:19 23K libportmidi2_2.0.6-1_armhf.deb 22-Oct-2025 15:05 20K libportmidi2_2.0.6-1_i386.deb 22-Oct-2025 15:20 23K portmidi_2.0.6-1.debian.tar.xz 22-Oct-2025 13:39 8236 portmidi_2.0.6-1.dsc 22-Oct-2025 13:39 2362 portmidi_2.0.6.orig.tar.xz 22-Oct-2025 13:39 152K portmidi_217-6.1.debian.tar.xz 14-Jun-2022 13:19 14K portmidi_217-6.1.dsc 14-Jun-2022 13:19 1959 portmidi_217.orig.tar.gz 06-Nov-2016 15:46 953K