[SECURITY] Fedora 44 Update: rocq-stdlib-9.2.0-1.fc44

Rocq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proof s. This package includes the Rocq Standard Library, that is to say,...

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

The remote Fedora 44 host has packages installed that are affected by multiple vulnerabilities as referenced in the FEDORA-2026-62bbabcf11 advisory. See https://rocq-prover.org/doc/v9.3/refman/changes.htmlversion-9-3 for changes in rocq 9.3.0. See...

[SECURITY] Fedora 45 Update: rocq-stdlib-9.2.0-1.fc45

Rocq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proof s. This package includes the Rocq Standard Library, that is to say,...