« List of all packages

shell

Opam page: https://opam.ocaml.org/packages/shell/

Versions

Version
shell.v0.17.0 (latest)
shell.v0.16.0
shell.v0.15.0
shell.v0.14.0
shell.v0.13.0
shell.v0.12.0

Vulnerable external dependencies (91176)

Product For package Vendor Severity CVE Published
linux-headers shell.v0.12.0 Linux High CVE-2026-63864 - bpf: Propagate error from visit_tailcall_insn 7/19/2026
linux-headers shell.v0.15.0 Linux High CVE-2026-63864 - bpf: Propagate error from visit_tailcall_insn 7/19/2026
linux-headers shell.v0.13.0 Linux High CVE-2026-63864 - bpf: Propagate error from visit_tailcall_insn 7/19/2026
linux-headers shell.v0.16.0 Linux High CVE-2026-63864 - bpf: Propagate error from visit_tailcall_insn 7/19/2026
linux-headers shell.v0.15.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.17.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.13.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.14.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.12.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.16.0 Linux High CVE-2026-63863 - drm/gpusvm: Fix unbalanced unlock in drm_gpusvm_scan_mm() 7/19/2026
linux-headers shell.v0.12.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.14.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.15.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.13.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.17.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.16.0 Linux Unknown CVE-2026-63862 - PCI: mediatek-gen3: Prevent leaking IRQ domains when IRQ not found 7/19/2026
linux-headers shell.v0.14.0 Linux Unknown CVE-2026-63861 - spi: mtk-snfi: unregister ECC engine on probe failure and remove() callback 7/19/2026
linux-headers shell.v0.12.0 Linux Unknown CVE-2026-63861 - spi: mtk-snfi: unregister ECC engine on probe failure and remove() callback 7/19/2026
linux-headers shell.v0.16.0 Linux Unknown CVE-2026-63861 - spi: mtk-snfi: unregister ECC engine on probe failure and remove() callback 7/19/2026
linux-headers shell.v0.17.0 Linux Unknown CVE-2026-63861 - spi: mtk-snfi: unregister ECC engine on probe failure and remove() callback 7/19/2026