Hi portmidi developers! I recently decided to use portmidi as the foundation for one of my projects <https://plus.google.com/u/1/+adiknoth/posts/PddEdbm7PNj>. Since I would greatly benefit from a pkg-config file, I thought let's see if it's included upstream. Turned out it isn't, but somebody provided patches two years ago: https://www.mail-archive.com/media_api@create.ucsb.edu/msg00500.html Could we get this into the official repos, so that we downstream folks (I also represent the Debian multimedia team) can ship it? Thanks in advance -- mail: adi(a)thur.de http://adi.thur.de PGP/GPG: key via keyserver