« 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.17.0 Linux Unknown CVE-2025-38374 - optee: ffa: fix sleep in atomic context 7/25/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-38374 - optee: ffa: fix sleep in atomic context 7/25/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.17.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-38373 - IB/mlx5: Fix potential deadlock in MR deregistration 7/25/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.17.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-38372 - RDMA/mlx5: Fix unsafe xarray access in implicit ODP handling 7/25/2025
linux-headers shell.v0.17.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025
linux-headers shell.v0.15.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025
linux-headers shell.v0.16.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025
linux-headers shell.v0.12.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025
linux-headers shell.v0.13.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025
linux-headers shell.v0.14.0 Linux Unknown CVE-2025-38371 - drm/v3d: Disable interrupts before resetting the GPU 7/25/2025