architecture: arm64 component: main package: playmidi priority: optional section: sound srcpkg_name: playmidi srcpkg_version: 2.4debian-13 version: 2.4debian-13