| ID | Name | Product | Family | Published | Updated | Severity |
|---|---|---|---|---|---|---|
| 438834 | SCA: security update for @leanprover/unicode-input-component (GHSA-6ggm-pwr9-r5h2) | Tenable Cloud Security | SCA Checks | 3/16/2026 | 7/2/2026 | info |
| 438834 | SCA: security update for @leanprover/unicode-input-component (GHSA-6ggm-pwr9-r5h2) | Tenable Self-Hosted Container Security | SCA Checks | 3/16/2026 | 7/2/2026 | info |