Source: gstreamer1.0 Version: 1.12.0-1 Severity: normal Dear Maintainer,
libgmp3-dev is a transitional package which pulls in libgmp-dev. So gstreamer1.0 should either build-depend on libgmp-dev or libgmp-dev | libgmp3-dev. Added benefit: libgmp-dev is multiarch-compatible while libgmp3-dev is not (yet). -- System Information: Debian Release: 9.0 APT prefers testing APT policy: (990, 'testing'), (500, 'stable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.9.0-2-amd64 (SMP w/8 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system)
