The text f5e577d9c61f, as Debian 7 (Wheezy) shipped it.
Open Sound System MIDI devices
midi(7) on Linux now