如何安装Frama-C的特定提交

Question

Frama-C的错误跟踪系统中的issue包含一个注释：

  

“由提交xyz修复。修复将出现在Phosphorus中。”

如何将frama-c更新为该特定提交？我通过opam在Ubuntu上安装了frama-c。

Answer 1

（我是Frama-C开发人员。）非开发人员目前无法访问各个提交，并且我已相应地修改了BTS问题。我们每6个月发布一次Frama-C的快照版本。我们预计将在5月份发布包含此特定修复程序的Phosphorus。