On 25/08/2018 09:00, Andreas Tille wrote: > I realised that there is a new upstream version, fixed the watch file in > Git and tried to build the package. Unfortunately the build fails as > well.
Do you get the same build failure with the new version? Emmanuel Bourg
