My popular PGMidi library for MIDI input/output on iOS has moved from Gitorious to a new location on GitHub. (This was requested many times, and who am I to disappoint?)
Please update your repos accordingly.
Over the next few days, I'll also be adding a few new tweaks and features to the project, so stay tuned.
Thanks for all the kind comments and feedback about the code - I'm really glad it's useful. Please do let me know if you've incorporated it in your own project.