In watchfile debian/watch, reading webpage http://tiptop.gforge.inria.fr/ failed: 500 Can't connect to tiptop.gforge.inria.fr:80 (Name or service not known)
commit 6fee69798e8dc8d8dc6cce7d72d3764f4792ebc3 Author: Tomasz Buchert <tomasz@debian.org> Date: Fri Feb 9 20:33:19 2024 +0100 update-std-ver to 4.6.2
Among the 5 debian patches available in version 2.3.1-5 of the package, we noticed the following issues: