On Mon, Jun 3, 2019 at 9:40 AM Richard W.M. Jones <rjones@redhat.com> wrote:
why3 is a replacement for it, is that right?

Sort of.  Wh3 was originally intended to be a complete replacement, but functionality has been migrated slowly, requiring one to use both why and why3 for some years now to get everything.  For example, why has a frama-c plugin.  The why3 version exists, but upstream says it is experimental and has advised me not to even build it for Fedora.  The C and Java front ends for why (http://krakatoa.lri.fr/) have not been replicated in why3 yet.  The situation is unfortunate, but upstream has limited resources.

Over the weekend, I took a look at how hard it would be to keep why working with the current versions of frama-c and why3.  I came up with a patch that at least gets it to build.  I'm going to experiment with it over the next couple of days and see if the functionality actually works at all.  If it does, I will keep the why package around a little longer, to give any users time to finish migrating to why3.  However, such users should note that another release of Frama-C is expected in a couple of weeks.  If that release breaks the why package again, I may or may not be able to repair it again.  If not, I will retire the why package at that time.

Also:

https://bugzilla.redhat.com/show_bug.cgi?id=1673688
https://pagure.io/releng/issue/8310

Still waiting for 4.08 to be released to complete this ...

Noted.  I will probably get all these packages built on Wednesday or Thursday of this week.  If that turns out to be a bad time for you, please let me know and I will postpone the builds.  Regards,
--
Jerry James
http://www.jamezone.org/