pkg://atari800_2.0.3-1_hppa.deb:553930/postinst  info  downloads

#!/bin/sh
if [ "$1" = "configure" -a -x /usr/bin/update-menus ]; then update-menus ; fi