post_upgrade() {
  if (( $(vercmp $2 7.10.3) < 0)); then
    echo "Since 7.10.3, upstream provided boinc-client.service is used instead of our own one."
    echo "Please enable/start the new boinc-client.service if desired."
  fi
}
