Согласно valadoc, существует пакет под названием gstreamer-player-1 . Тем не менее, я не могу найти соответствующий пакет в поиске пакетов ubuntu .
gstreamer-player-1
libgstreamer-плагинов-bad1.0-DEV. Я нашел его в в поисках файла pkg-config .