If the Mandos systemd unit file was not installed, it was still removed by the "purge-server" target. If systemd is not installed, this could mean removal of "mandos.service" from the root directory.
(Note: this was *not* used by the Debian package as a method of uninstallation; this was only ever done by the Makefile if "make purge-server" was called by hand. And a "mandos.service" file was presumably also unlikely to exist in the root directory.)
* Makefile (purge-server): Only remove systemd service file "mandos.service" if the same conditions exist which permitted its initial installation in the "install-server" target.
|| 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