In watchfile debian/watch, reading webpage https://embed.cs.utah.edu/csmith/ failed: 500 Can't connect to embed.cs.utah.edu:443 (Temporary failure in name resolution)
Among the 4 debian patches available in version 2.3.0-8 of the package, we noticed the following issues: