« List of all packages

core

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

Versions

Version
core.v0.17.2 (latest)
core.v0.17.1
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 (87378)

Product For package Vendor Severity CVE Published
linux-headers core.v0.12.2 Linux High CVE-2025-38242 - mm: userfaultfd: fix race of userfaultfd_move and swap cache 7/9/2025
linux-headers core.v0.14.1 Linux High CVE-2025-38242 - mm: userfaultfd: fix race of userfaultfd_move and swap cache 7/9/2025
linux-headers core.v0.13.0 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.14.0 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.14.1 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.12.4 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.12.3 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.12.2 Linux Unknown CVE-2025-38241 - mm/shmem, swap: fix softlockup with mTHP swapin 7/9/2025
linux-headers core.v0.12.2 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.12.3 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.14.0 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.13.0 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.14.1 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.12.4 Linux Unknown CVE-2025-38240 - drm/mediatek: dp: drm_err => dev_err in HPD path to avoid NULL ptr 4/18/2025
linux-headers core.v0.14.1 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025
linux-headers core.v0.13.0 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025
linux-headers core.v0.12.3 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025
linux-headers core.v0.12.4 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025
linux-headers core.v0.12.2 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025
linux-headers core.v0.14.0 Linux High CVE-2025-38239 - scsi: megaraid_sas: Fix invalid node index 7/9/2025