Hi, upstream had modified their site, so I complained:
https://git.frama-c.com/pub/frama-c/-/issues/2622 and upstream pretty quickly provided a new page ; except that I don't get how from upstream 25.0-Manganese we got a Debian version 20220511- manganese-1.3 ! With d/watch being: version=4 https://frama-c.com/html/direct-source-distributions.html .*/frama-c- ([0-9]{2}\.[0-9]-[a-zA-Z]+)\.tar\.gz then uscan -v lists the upstream versions in a reasonable order. What can we do to improve things? Cheers, J.Puydt
