A new patch for this bug is sitting in the git repository of the package. This patch has been provided by upstream for the 3.0.2 branch. Still needs some more testing before uploading.
-Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ =====> New email address: trei...@pps.univ-paris-diderot.fr <===== -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org