In watchfile debian/watch, reading webpage https://files.inria.fr/starpu/ failed: 500 Can't connect to files.inria.fr:443 (Connection timed out)
Among the 4 debian patches available in version 1.4.7+dfsg-2 of the package, we noticed the following issues: