pkg://atari800_1.3.2-1_ia64.deb:850028/postrm  info  downloads

#!/bin/sh

if [ -x /usr/bin/update-menus ]; then update-menus ; fi