{"cpe_name_id":"22565367-32e8-44a8-8061-1a3878c87185","cpe_uri":"cpe:2.3:a:rocq-prover:rocq:*:*:*:*:*:*:*:*","created_at":"2026-11-03T10:16:23.939170","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":2133436,"language":"*","notes":"Imported from gcve-enriched-dumps CVE data","other":"*","part":"a","product_id":261074,"product_uuid":"771a4a58-e035-51ff-8cee-5ce36a1ab5b7","purl_mappings":[],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Rocq","update":"*","updated_at":"2026-11-03T10:16:23.939172","vendor_id":58521,"vendor_uuid":"fb3ddfbd-2250-5a38-ae30-ac69c4d64869","version":"*","vulnerability_references":[{"approved_at":"2026-11-03T10:49:48.321343","cpe_applicability":"vulnerable","id":3646535,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:49:48.322400","vulnerability_id":"CVE-2020-37268","vulnerability_source":"CVE"},{"approved_at":"2026-11-03T10:16:26.594977","cpe_applicability":"vulnerable","id":3635813,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:26.595648","vulnerability_id":"CVE-2026-72705","vulnerability_source":"CVE"},{"approved_at":"2026-11-03T10:16:26.385561","cpe_applicability":"vulnerable","id":3635773,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:26.386200","vulnerability_id":"CVE-2026-72704","vulnerability_source":"CVE"},{"approved_at":"2026-11-03T10:16:26.242900","cpe_applicability":"vulnerable","id":3635754,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:26.243994","vulnerability_id":"CVE-2026-72714","vulnerability_source":"CVE"},{"approved_at":"2026-11-03T10:16:23.940579","cpe_applicability":"vulnerable","id":3635707,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:23.941220","vulnerability_id":"CVE-2026-72703","vulnerability_source":"CVE"}]}