Prefer the systemd-dev package as a build dependency
When building, we only need the systemd.pc pkgconfig file, and systemd-dev is a new package which, if available, contains that file without bringing in the whole of systemd. So prefer using that package as a build dependency.
* debian/control (Source: mandos/Build-Depends): Change "systemd" to "systemd-dev | systemd".
Closes: #1060546 Reported-By: Michael Biebl <biebl@debian.org>
|| dpkg --compare-versions "$2" eq "1.8.0-1~bpo9+1"; then
71
if grep --quiet --regexp='^[[:space:]]*key_id[[:space:]]*=[[:space:]]*[Ee]3[Bb]0[Cc]44298[Ff][Cc]1[Cc]149[Aa][Ff][Bb][Ff]4[Cc]8996[Ff][Bb]92427[Aa][Ee]41[Ee]4649[Bb]934[Cc][Aa]495991[Bb]7852[Bb]855[[:space:]]*$' /etc/mandos/clients.conf; then