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_amd64.deb 03-Feb-2013 03:33 64114 libportmidi-dev_200-0ubuntu3_i386.deb 03-Feb-2013 03:33 64170 libportmidi-dev_217-6.1build3_amd64.deb 07-Apr-2024 07:50 54698 libportmidi-dev_217-6_amd64.deb 23-Dec-2016 05:39 52226 libportmidi-dev_217-6_i386.deb 23-Dec-2016 05:39 51954 libportmidi0_200-0ubuntu3_amd64.deb 03-Feb-2013 03:33 20988 libportmidi0_200-0ubuntu3_i386.deb 03-Feb-2013 03:33 21040 libportmidi0_217-6.1build3_amd64.deb 07-Apr-2024 07:50 18060 libportmidi0_217-6_amd64.deb 23-Dec-2016 05:39 17844 libportmidi0_217-6_i386.deb 23-Dec-2016 05:39 18518 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.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.