On Tue, Aug 21, 2001 at 07:16:29AM +1000, Serge Rey wrote:
| for the benefit of future users who may run into the same issue you did,
| could you tell us what did you uninstall and reinstall?
# apt-get remove --purge <package name>
# apt-get install <package name>
(in his case, <package name> was "pump")
-D