如何安装特定提交邮资-C的

Question

在邮资-C的bug跟踪系统的issue包含音符：

“被提交XYZ固定修复将出现在磷”

如何更新frama-c到那个特定的提交？我通过opam在Ubuntu上安装了frama-c。

Answer 1

（我是一个Frama-C开发人员。）单个提交目前无法访问非开发人员，因此我已经修改了BTS问题。我们每6个月发布一次Frama-C的快照版本。我们预计磷的释放将包含这种特殊的修复，将在5月份发生。