« 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 (72726)

Product For package Vendor Severity CVE Published
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-37939 - libbpf: Fix accessing BTF.ext core_relo header 5/20/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-37939 - libbpf: Fix accessing BTF.ext core_relo header 5/20/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-37939 - libbpf: Fix accessing BTF.ext core_relo header 5/20/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-37939 - libbpf: Fix accessing BTF.ext core_relo header 5/20/2025
linux-headers shell.v0.17.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-37938 - tracing: Verify event formats that have "%*p.." 5/20/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.17.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-37937 - objtool, media: dib8000: Prevent divide-by-zero in dib8000_set_dds() 5/20/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-37936 - perf/x86/intel: KVM: Mask PEBS_ENABLE loaded for guest with vCPU's value. 5/20/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-37936 - perf/x86/intel: KVM: Mask PEBS_ENABLE loaded for guest with vCPU's value. 5/20/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-37936 - perf/x86/intel: KVM: Mask PEBS_ENABLE loaded for guest with vCPU's value. 5/20/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-37936 - perf/x86/intel: KVM: Mask PEBS_ENABLE loaded for guest with vCPU's value. 5/20/2025