#!/bin/sh

case "$1" in
  remove|purge)
    if [ -x /usr/bin/apt-key ]; then
      for KEY in 09842D13; do
        /usr/bin/apt-key del $KEY
      done
    fi
  ;;
esac