In watchfile debian/watch, reading webpage http://tiptop.gforge.inria.fr/ failed: 500 Can't connect to tiptop.gforge.inria.fr:80 (Connection timed out)
Among the 5 debian patches available in version 2.3.1-5 of the package, we noticed the following issues: