Re: On frama-c's debian/watch

2022-07-28 Thread Mehdi Dogguy
Hi, Early versions of FramaC were snapshots with dates and codenames. There were no version numbers back then (the date was the only reliable number we've got). At some, they dropped the dates and assigned version numbers to codenames and kept going with them. One needs to check with them that

Re: On frama-c's debian/watch

2022-07-28 Thread Stéphane Glondu
Le 22/07/2022 à 20:19, julien.pu...@gmail.com a écrit : > 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 ver