In watchfile debian/watch, reading webpage https://www.coin-or.org/download/source/ADOL-C/ failed: 500 Can't connect to www.coin-or.org:443 (Connection timed out)
Among the 4 debian patches available in version 2.7.2-7 of the package, we noticed the following issues: