pkg://atari800_1.2.2-1woody3_arm.deb:236750/postrm  info  downloads

#!/bin/sh

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