[SECURITY] Fedora 44 Update: why3-1.8.2-11.fc44

Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for...

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: why3-1.8.2-15.fc45

Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for...