SPELL=portmidi
         VERSION=217
          SOURCE="$SPELL-src-$VERSION.zip"
   SOURCE_URL[0]=http://denemo.org/downloads/gub/$SOURCE
   SOURCE_URL[1]=https://downloads.sourceforge.net/project/portmedia/$SPELL/$VERSION/$SOURCE
     SOURCE_HASH=sha512:d08d4d57429d26d292b5fe6868b7c7a32f2f1d2428f6695cd403a697e2d91629bd4380242ab2720e8f21c895bb75cb56b709fb663a20e8e623120e50bfc5d90b
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL"
        WEB_SITE="http://portmedia.sourceforge.net/portmidi/"
      LICENSE[0]="MIT"
         ENTERED=20190918
        KEYWORDS=""
           SHORT="Platform Independent Library for MIDI I/O"
cat << EOF
PortMidi is a library for software developers. It supports real-time input
and output of MIDI data using a system-independent interface.
EOF