pkg://atari800_1.2.2-1woody3_ia64.deb:339510/postrm  info  downloads

#!/bin/sh

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