#  Reinstall packages that have code that depends on gal

rm  -f  $BOOST_LOCK
if  module_installed  gtkhtml;    then lin gtkhtml;   fi
