« List of all packages

core

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

Versions

Version
core.v0.17.1 (latest)
core.v0.17.0
core.v0.16.2
core.v0.16.1
core.v0.16.0
core.v0.15.1
core.v0.15.0
core.v0.14.1
core.v0.14.0
core.v0.13.0
core.v0.12.4
core.v0.12.3
core.v0.12.2

Vulnerable external dependencies (69126)

Product For package Vendor Severity CVE Published
linux-headers core.v0.12.4 Linux Medium CVE-2023-53255 - firmware: stratix10-svc: Fix a potential resource leak in svc_create_memory_pool() 9/15/2025
linux-headers core.v0.14.0 Linux Medium CVE-2023-53255 - firmware: stratix10-svc: Fix a potential resource leak in svc_create_memory_pool() 9/15/2025
linux-headers core.v0.12.2 Linux Medium CVE-2023-53255 - firmware: stratix10-svc: Fix a potential resource leak in svc_create_memory_pool() 9/15/2025
linux-headers core.v0.12.3 Linux Medium CVE-2023-53255 - firmware: stratix10-svc: Fix a potential resource leak in svc_create_memory_pool() 9/15/2025
linux-headers core.v0.12.3 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.13.0 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.14.1 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.14.0 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.12.2 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.12.4 Linux High CVE-2023-53254 - cacheinfo: Fix shared_cpu_map to handle shared caches at different levels 9/15/2025
linux-headers core.v0.12.3 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.12.2 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.12.4 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.14.0 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.13.0 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.14.1 Linux High CVE-2023-53253 - HID: nvidia-shield: Reference hid_device devm allocation of input_dev name 9/15/2025
linux-headers core.v0.13.0 Linux High CVE-2023-53252 - Bluetooth: use RCU for hci_conn_params and iterate safely in hci_sync 9/15/2025
linux-headers core.v0.14.0 Linux High CVE-2023-53252 - Bluetooth: use RCU for hci_conn_params and iterate safely in hci_sync 9/15/2025
linux-headers core.v0.12.4 Linux High CVE-2023-53252 - Bluetooth: use RCU for hci_conn_params and iterate safely in hci_sync 9/15/2025
linux-headers core.v0.14.1 Linux High CVE-2023-53252 - Bluetooth: use RCU for hci_conn_params and iterate safely in hci_sync 9/15/2025