Description of problem: Invoking frama-c with the jessie plugin leads to an error message: "implementation mismatch on Project". This was apparently already discussed with the upstream team in 2014, but no solution was found: https://lists.gforge.inria.fr/pipermail/why-discuss/2014-June/000689.html Version-Release number of selected component (if applicable): why-jessie-2.39-2.fc27.x86_64 Steps to Reproduce: 1. Install the frama-c and why-jessie 2. Run frama-c-gui -jessie file.c (where file.c is a random C file)
More recent discussions about this issue: https://lists.gforge.inria.fr/pipermail/why-discuss/2017-November/000713.html I have little clue myself about OCaml, so I can't really tell why the opam version would be working, and the RPM version not...
why-2.39-3.fc27 has been submitted as an update to Fedora 27. https://bodhi.fedoraproject.org/updates/FEDORA-2017-1f7e270688
why-2.38-2.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-858d6ae577
why-2.39-3.fc27 has been pushed to the Fedora 27 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-1f7e270688
why-2.38-2.fc26 has been pushed to the Fedora 26 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-858d6ae577
why-2.38-2.fc26 has been pushed to the Fedora 26 stable repository. If problems still persist, please make note of it in this bug report.
why-2.39-3.fc27 has been pushed to the Fedora 27 stable repository. If problems still persist, please make note of it in this bug report.