On frama-c's debian/watch

[julien.puydt@gmail.com]

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