Re: Bug#797473: frama-c: New upstream version
Hello,
Le 30/08/2015 23:24, Kurt Roeckx a écrit :
It seems there is a new upstream version. Could you upload it?
The Sodium version was published in 2nd of February 2015, about 7 months
ago.
For end-user tools when you always need latest version, you'd rather use
another mean that Debian packages: i.e. another distribution (e.g.
Fedora where as far as I know they are up-to-date) or through tool
specific channel on your Debian (e.g. OCaml's opam[1] package management
system, where Frama-C is available in latest version). I'm using both of
them.
For Debian developer: this is not an "angry user rant" but for me a
*structural* limitation of modern Debian unable to provide needs of a
significant part of users[2]. Of course, Debian is fine when you need a
very stable platform where software are not evolving or very slowly
(i.e. server). Even in this case, backports are often needed.
Best regards,
david
[1] But I don't know if opam 1.2.0 available in Debian stable works well
with latest opam repositories. opam is at version 1.2.2.
[2] By the way, is there a bug open for it? Is it worth it?
Reply to: