In watchfile debian/watch, reading webpage https://github.com/ghdl/ghdl/tags failed: 500 Can't connect to github.com:443 (Temporary failure in name resolution)
Among the 10 debian patches available in version 3.0.0+dfsg-1 of the package, we noticed the following issues: