0
在郵資-C的bug跟蹤系統的issue包含音符:如何安裝特定提交郵資-C的
「被提交XYZ固定修復將出現在磷」
如何更新frama-c到那個特定的提交?我通過opam在Ubuntu上安裝了frama-c。
在郵資-C的bug跟蹤系統的issue包含音符:如何安裝特定提交郵資-C的
「被提交XYZ固定修復將出現在磷」
如何更新frama-c到那個特定的提交?我通過opam在Ubuntu上安裝了frama-c。
(我是一個Frama-C開發人員。)單個提交目前無法訪問非開發人員,因此我已經修改了BTS問題。我們每6個月發佈一次Frama-C的快照版本。我們預計磷的釋放將包含這種特殊的修復,將在5月份發生。
非常感謝您的澄清。 – veeco