[SECURITY] Fedora 44 Update: gappalib-coq-1.11.0-1.fc44

This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa G=C3=A9n=C3=A9ration Automatique de Preuves de Propri=C3=A9t=C3=A9s Ar...

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: gappalib-coq-1.11.0-5.fc45

This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa G=C3=A9n=C3=A9ration Automatique de Preuves de Propri=C3=A9t=C3=A9s Ar...