The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ libportmidi-dev_200-0ubuntu3_arm64.deb 13-Oct-2013 09:58 60794 libportmidi-dev_200-0ubuntu3_armhf.deb 03-Feb-2013 03:33 60212 libportmidi-dev_217-6.1_arm64.deb 14-Jun-2022 18:00 55482 libportmidi-dev_217-6.1_armhf.deb 14-Jun-2022 18:00 52396 libportmidi-dev_217-6.1build3_arm64.deb 07-Apr-2024 07:50 55864 libportmidi-dev_217-6.1build3_armhf.deb 07-Apr-2024 07:51 52354 libportmidi-dev_217-6_arm64.deb 23-Dec-2016 05:39 50696 libportmidi-dev_217-6_armhf.deb 23-Dec-2016 05:39 49708 libportmidi0_200-0ubuntu3_arm64.deb 13-Oct-2013 09:58 17742 libportmidi0_200-0ubuntu3_armhf.deb 03-Feb-2013 03:33 16870 libportmidi0_217-6.1_arm64.deb 14-Jun-2022 18:00 19418 libportmidi0_217-6.1_armhf.deb 14-Jun-2022 18:00 16056 libportmidi0_217-6.1build3_arm64.deb 07-Apr-2024 07:50 18366 libportmidi0_217-6.1build3_armhf.deb 07-Apr-2024 07:51 14850 libportmidi0_217-6_arm64.deb 23-Dec-2016 05:39 15642 libportmidi0_217-6_armhf.deb 23-Dec-2016 05:39 15242 portmidi_200-0ubuntu3.diff.gz 03-Feb-2013 03:33 6492 portmidi_200-0ubuntu3.dsc 03-Feb-2013 03:33 1864 portmidi_200.orig.tar.gz 14-Feb-2010 23:04 1032871 portmidi_217-6.1.debian.tar.xz 14-Jun-2022 17:34 13940 portmidi_217-6.1.dsc 14-Jun-2022 17:34 1959 portmidi_217-6.1build3.debian.tar.xz 07-Apr-2024 07:49 14092 portmidi_217-6.1build3.dsc 07-Apr-2024 07:49 2099 portmidi_217-6.debian.tar.xz 23-Dec-2016 05:38 13844 portmidi_217-6.dsc 23-Dec-2016 05:38 2049 portmidi_217.orig.tar.gz 23-Dec-2016 05:38 975699
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.