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
