{"api_version":"v1","generated_at":"2026-10-08T15:05:00+00:00","product":{"cve_count":5,"evidence_gap_note":"This identity is present in BlackTree CVE records, but no product-specific publisher support or retirement history is currently registered in Lifecycle.","id":"security:cve-rocq-prover-rocq-ae0fa46fb9e6","lifecycle_state":"evidence_gap","linked_lifecycle_url":null,"name":"rocq","next_cursor":null,"observations":[{"affected":"rocq: \u2264 9.2.0","affected_versions_present":true,"cve_id":"CVE-2026-72714","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72714","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:18:54.618Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:33.917Z"},{"affected":"rocq: < 9.2.0","affected_versions_present":true,"cve_id":"CVE-2026-72705","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72705","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:18:52.758Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:32.535Z"},{"affected":"rocq: \u2264 9.2.0","affected_versions_present":true,"cve_id":"CVE-2026-72704","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72704","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:18:51.836Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:31.787Z"},{"affected":"rocq: 8.20 < 9.2.0","affected_versions_present":true,"cve_id":"CVE-2026-72703","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72703","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:18:50.897Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:30.607Z"},{"affected":"rocq: 8.11 \u2264 9.2.0","affected_versions_present":true,"cve_id":"CVE-2020-37268","cve_url":"https://cve.blacktree.nl/cve/CVE-2020-37268","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:17:14.561Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:28.079Z"}],"source_generated_at":"2026-10-08T06:18:52.353Z","vendor":"rocq-prover"}}