{"cpe_name_id":"24bd7fbd-f620-4e31-af00-ce5622aad3dc","cpe_uri":"cpe:2.3:a:leanprover:vscode-lean4:*:*:*:*:*:*:*:*","created_at":"2026-06-03T15:20:43.643085","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1991924,"language":"*","notes":"Imported from gcve-enriched-dumps CVE data","other":"*","part":"a","product_id":246930,"product_uuid":"0e0845e6-c53d-5c87-ab08-1c95a9f79f99","purl_mappings":[],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Vscode Lean4","update":"*","updated_at":"2026-06-03T15:20:43.643087","vendor_id":55192,"vendor_uuid":"db950cca-a0c3-52f1-894e-66cc98c34902","version":"*","vulnerability_references":[{"approved_at":"2026-06-08T07:57:18.096528","cpe_applicability":"vulnerable","id":3492975,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-06-08T07:57:18.097256","vulnerability_id":"CVE-2026-32732","vulnerability_source":"CVE"}]}