agentprime: rocqEvery new CVE for rocq.https://agentprime.io/CVE-2026-72714: Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Closehttps://agentprime.io/advisories/CVE-2026-72714/https://agentprime.io/advisories/CVE-2026-72714/CVSS 6.8 (Medium). Published by the CVE Program. Not analysed by agentprime yet.Mon, 24 Aug 2026 20:08:33 GMTCVECVE-2026-72705: Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argumenthttps://agentprime.io/advisories/CVE-2026-72705/https://agentprime.io/advisories/CVE-2026-72705/CVSS 6.8 (Medium). Published by the CVE Program. Not analysed by agentprime yet.Mon, 24 Aug 2026 20:08:32 GMTCVECVE-2026-72704: Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transporthttps://agentprime.io/advisories/CVE-2026-72704/https://agentprime.io/advisories/CVE-2026-72704/CVSS 6.8 (Medium). Published by the CVE Program. Not analysed by agentprime yet.Mon, 24 Aug 2026 20:08:31 GMTCVECVE-2026-72703: Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Callshttps://agentprime.io/advisories/CVE-2026-72703/https://agentprime.io/advisories/CVE-2026-72703/CVSS 6.8 (Medium). Published by the CVE Program. Not analysed by agentprime yet.Mon, 24 Aug 2026 20:08:30 GMTCVECVE-2020-37268: Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inlinehttps://agentprime.io/advisories/CVE-2020-37268/https://agentprime.io/advisories/CVE-2020-37268/CVSS 6.8 (Medium). Published by the CVE Program. Not analysed by agentprime yet.Mon, 24 Aug 2026 20:08:28 GMTCVE