#! /bin/sh

set -e

case "$1" in
    remove)
	if [ -x /usr/bin/apt-key ]; then
	    apt-key del @GPG_UID@
	    apt-key del @GPG_UID_RSA4096@
	fi
	;;
    purge)
	:
	;;
    upgrade|deconfigure)
	:
	;;
    failed-upgrade)
	:
	;;
    *)
        echo "prerm called with unknown argument \`$1'" >&2
        exit 1
	;;
esac

#DEBHELPER#
