In watch file debian/watch, reading webpage https://caml.inria.fr/pub/distrib/ failed: 500 Can't connect to caml.inria.fr:443 (Connection timed out)
Among the 11 debian patches available in version 5.2.0-3 of the package, we noticed the following issues: