An issue in the bug-tracking system of Frama-C contains a note:
"was fixed by commit xyz. Fix will appear in Phosphorus."
How do I update frama-c to that specific commit? I installed frama-c on Ubuntu via opam.
(I am a Frama-C developer.) The individual commits are currently not accessible to non-developers, and I've modified the BTS issue accordingly. We release snapshot versions of Frama-C every 6 months. We expect the release of Phosphorus, which will contain this particular fix, to happen in May.