リモートの Fedora 44 ホストには、FEDORA-2026-62bbabcf11 のアドバイザリに記載された複数の脆弱性の影響を受けるパッケージがインストールされています。

    rocq 9.3.0の変更については、https://rocq-prover.org/doc/v9.3/refman/changes.html#version-9-3を参照してください。

    rocq-stdlib 9.2.0の変更については、https://rocq-prover.org/doc/v9.2/refman-stdlib/changes.htmlを参照してください。

    gappalib-coq 1.11.0の変更については、https://gitlab.inria.fr/gappa/coq/-/blob/master/NEWS.mdを参照してください。

    他のビルドは、上記の変更によるリビルドです。


Tenable は、前述の記述ブロックを Fedora セキュリティアドバイザリから直接抽出しています。

Nessus はこれらの問題をテストしておらず、代わりにアプリケーションが自己報告するバージョン番号にのみ依存していることに注意してください。

検出

Fedora 44:flocq / gappalib-coq / rocq / rocq-stdlib / why3 / zenon(2026-62bbabcf11)

medium Nessus プラグイン ID 363797

バージョン 1.1