Debian dsa-6381 : ata-modules-6.12.90+deb13-armmp-di - security update

#%NASL_MIN_LEVEL 80900
#
# (C) Tenable, Inc.
#
# The descriptive text and package checks in this plugin were
# extracted from Debian Security Advisory dsa-6381. The text
# itself is copyright (C) Software in the Public Interest, Inc.
#

include('compat.inc');

if (description)
{
  script_id(325146);
  script_version("1.3");
  script_set_attribute(attribute:"plugin_modification_date", value:"2026/07/06");

  script_cve_id(
    "CVE-2025-23131",
    "CVE-2026-31419",
    "CVE-2026-31732",
    "CVE-2026-43010",
    "CVE-2026-43216",
    "CVE-2026-43355",
    "CVE-2026-46054",
    "CVE-2026-46242",
    "CVE-2026-46252",
    "CVE-2026-52975",
    "CVE-2026-53070",
    "CVE-2026-53101",
    "CVE-2026-53139",
    "CVE-2026-53142",
    "CVE-2026-53151",
    "CVE-2026-53157",
    "CVE-2026-53163",
    "CVE-2026-53167",
    "CVE-2026-53179",
    "CVE-2026-53325",
    "CVE-2026-53327",
    "CVE-2026-53341",
    "CVE-2026-53359",
    "CVE-2026-53361",
    "CVE-2026-53362"
  );

  script_name(english:"Debian dsa-6381 : ata-modules-6.12.90+deb13-armmp-di - security update");

  script_set_attribute(attribute:"synopsis", value:
"The remote Debian host is missing one or more security-related updates.");
  script_set_attribute(attribute:"description", value:
"The remote Debian 13 host has packages installed that are affected by multiple vulnerabilities as referenced in the
dsa-6381 advisory.

    - -------------------------------------------------------------------------
    Debian Security Advisory DSA-6381-1                   [email protected]
    https://www.debian.org/security/                     Salvatore Bonaccorso
    July 05, 2026                         https://www.debian.org/security/faq
    - -------------------------------------------------------------------------

    Package        : linux
    CVE ID         : CVE-2025-23131 CVE-2026-31419 CVE-2026-31732 CVE-2026-43010
                     CVE-2026-43216 CVE-2026-43355 CVE-2026-46054 CVE-2026-46242
                     CVE-2026-46252 CVE-2026-52975 CVE-2026-53070 CVE-2026-53101
                     CVE-2026-53139 CVE-2026-53142 CVE-2026-53151 CVE-2026-53157
                     CVE-2026-53163 CVE-2026-53167 CVE-2026-53179 CVE-2026-53325
                     CVE-2026-53327 CVE-2026-53341 CVE-2026-53359 CVE-2026-53361
                     CVE-2026-53362
    Debian Bug     : 1136179 1139686

    Several vulnerabilities have been discovered in the Linux kernel that
    may lead to a privilege escalation, denial of service or information
    leaks.

    For the stable distribution (trixie), these problems have been fixed in
    version 6.12.95-1.

    We recommend that you upgrade your linux packages.

    For the detailed security status of linux please refer to its security
    tracker page at:
    https://security-tracker.debian.org/tracker/linux

    Further information about Debian Security Advisories, how to apply
    these updates to your system and frequently asked questions can be
    found at: https://www.debian.org/security/

    Mailing list: [email protected]

Tenable has extracted the preceding description block directly from the Debian security advisory.

Note that Nessus has not tested for these issues but has instead relied only on the application's self-reported version
number.");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/source-package/linux");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2025-23131");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-31419");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-31732");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-43010");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-43216");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-43355");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-46054");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-46242");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-46252");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-52975");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53070");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53101");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53139");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53142");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53151");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53157");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53163");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53167");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53179");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53325");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53327");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53341");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53359");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53361");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-53362");
  script_set_attribute(attribute:"see_also", value:"https://packages.debian.org/source/trixie/linux");
  script_set_attribute(attribute:"solution", value:
"Upgrade the ata-modules-6.12.90+deb13-armmp-di packages.");
  script_set_cvss_base_vector("CVSS2#AV:L/AC:L/Au:S/C:N/I:N/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2026-46252");

  script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"false");

  script_set_attribute(attribute:"vuln_publication_date", value:"2025/04/16");
  script_set_attribute(attribute:"patch_publication_date", value:"2026/07/05");
  script_set_attribute(attribute:"plugin_publication_date", value:"2026/07/06");

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ata-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:bpftool");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:btrfs-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:cdrom-core-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-dm-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:crypto-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-extra-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-extra-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-extra-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-extra-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:dasd-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:drm-core-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ext4-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:f2fs-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fat-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:fb-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:firewire-core-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:firewire-core-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:firewire-core-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:firewire-core-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:hyperv-daemons");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:hypervisor-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:hypervisor-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:hypervisor-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:hypervisor-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:input-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:intel-sdsi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:isofs-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:jfs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:kernel-image-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libcpupower-dev");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libcpupower1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-bpf-dev");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-config-6.12");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-cpupower");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-doc");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-doc-6.12");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-common-rt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-common-rt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.90+deb13.1-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-common-rt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.94+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-common-rt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-6.12.95+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-headers-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-arm64-16k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-armmp-lpae-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-cloud-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-cloud-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-powerpc64le-64k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-powerpc64le-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-riscv64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rpi-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-rt-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13-s390x-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-arm64-16k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-armmp-lpae-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-cloud-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-cloud-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-powerpc64le-64k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-powerpc64le-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-riscv64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rpi-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-rt-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.90+deb13.1-s390x-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-arm64-16k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-armmp-lpae-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-cloud-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-cloud-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-powerpc64le-64k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-powerpc64le-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-riscv64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rpi-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-rt-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.94+deb13-s390x-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-arm64-16k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-arm64-16k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-armmp-lpae-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-cloud-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-cloud-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-cloud-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-cloud-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-powerpc64le-64k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-powerpc64le-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-riscv64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rpi-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-rt-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-6.12.95+deb13-s390x-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-amd64-signed-template");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-arm64-16k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-arm64-signed-template");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-armmp-lpae");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-armmp-lpae-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-cloud-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-cloud-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-powerpc64le");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-powerpc64le-64k");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-powerpc64le-64k-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-powerpc64le-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-riscv64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-riscv64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rpi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rpi-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rt-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rt-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rt-armmp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-rt-armmp-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-s390x");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-image-s390x-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-kbuild-6.12.90+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-kbuild-6.12.90+deb13.1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-kbuild-6.12.94+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-kbuild-6.12.95+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-libc-dev");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-perf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-source");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-source-6.12");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-support-6.12.90+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-support-6.12.90+deb13.1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-support-6.12.94+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:linux-support-6.12.95+deb13");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:loop-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:md-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-core-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-core-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-core-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-core-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mmc-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-core-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:mtd-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:multipath-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nbd-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-shared-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-usb-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:nic-wireless-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:pata-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:ppp-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:rtla");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sata-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-core-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:scsi-nic-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:serial-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:serial-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:serial-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:serial-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sound-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sound-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sound-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:sound-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:speakup-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:speakup-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:speakup-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:speakup-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:squashfs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:udf-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:uinput-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-serial-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13.1-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.94+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.95+deb13-armmp-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usb-storage-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:usbip");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13.1-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13.1-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.90+deb13.1-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.94+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.94+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.94+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.95+deb13-powerpc64le-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.95+deb13-riscv64-di");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xfs-modules-6.12.95+deb13-s390x-di");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:debian:debian_linux:13.0");
  script_set_attribute(attribute:"generated_plugin", value:"current");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"Debian Local Security Checks");

  script_copyright(english:"This script is Copyright (C) 2026 and is owned by Tenable, Inc. or an Affiliate thereof.");

  script_dependencies("ssh_get_info.nasl");
  script_require_keys("Host/local_checks_enabled", "Host/Debian/release", "Host/Debian/dpkg-l");

  exit(0);
}

include('debian_package.inc');

if (!get_kb_item("Host/local_checks_enabled")) audit(AUDIT_LOCAL_CHECKS_NOT_ENABLED);
if (!get_kb_item("Host/Debian/dpkg-l")) audit(AUDIT_PACKAGE_LIST_MISSING);

var debian_release = get_kb_item('Host/Debian/release');
if ( isnull(debian_release) ) audit(AUDIT_OS_NOT, 'Debian');
debian_release = chomp(debian_release);
if (! preg(pattern:"^(13)\.[0-9]+", string:debian_release)) audit(AUDIT_OS_NOT, 'Debian 13.0', 'Debian ' + debian_release);
var cpu = get_kb_item('Host/cpu');
if (isnull(cpu)) audit(AUDIT_UNKNOWN_ARCH);
if ('x86_64' >!< cpu && cpu !~ "^i[3-6]86$" && 'aarch64' >!< cpu) audit(AUDIT_LOCAL_CHECKS_NOT_IMPLEMENTED, 'Debian', cpu);

var pkgs = [
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ata-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'bpftool', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'btrfs-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'cdrom-core-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-dm-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'crypto-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-extra-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-extra-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-extra-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-extra-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'dasd-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'drm-core-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ext4-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'f2fs-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fat-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'fb-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'firewire-core-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'firewire-core-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'firewire-core-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'firewire-core-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'hyperv-daemons', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'hypervisor-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'hypervisor-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'hypervisor-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'hypervisor-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'input-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'intel-sdsi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'isofs-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'jfs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'kernel-image-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'libcpupower-dev', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'libcpupower1', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-bpf-dev', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-config-6.12', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-cpupower', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-doc', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-doc-6.12', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-common', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-common-rt', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-common', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-common-rt', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.90+deb13.1-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-common', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-common-rt', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.94+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-common', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-common-rt', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-6.12.95+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-headers-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-arm64-16k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-armmp-lpae-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-cloud-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-cloud-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-powerpc64le-64k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-powerpc64le-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-riscv64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rpi-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-rt-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13-s390x-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-arm64-16k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-armmp-lpae-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-cloud-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-cloud-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-powerpc64le-64k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-powerpc64le-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-riscv64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rpi-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-rt-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.90+deb13.1-s390x-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-arm64-16k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-armmp-lpae-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-cloud-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-cloud-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-powerpc64le-64k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-powerpc64le-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-riscv64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rpi-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-rt-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.94+deb13-s390x-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-arm64-16k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-arm64-16k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-armmp-lpae-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-cloud-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-cloud-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-cloud-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-cloud-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-powerpc64le-64k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-powerpc64le-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-riscv64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rpi-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-amd64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-arm64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-rt-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-6.12.95+deb13-s390x-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-amd64-signed-template', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-arm64-16k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-arm64-signed-template', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-armmp-lpae', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-armmp-lpae-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-cloud-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-cloud-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-powerpc64le', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-powerpc64le-64k', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-powerpc64le-64k-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-powerpc64le-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-riscv64', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-riscv64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rpi', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rpi-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rt-amd64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rt-arm64-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rt-armmp', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-rt-armmp-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-s390x', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-image-s390x-dbg', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-kbuild-6.12.90+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-kbuild-6.12.90+deb13.1', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-kbuild-6.12.94+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-kbuild-6.12.95+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-libc-dev', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-perf', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-source', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-source-6.12', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-support-6.12.90+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-support-6.12.90+deb13.1', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-support-6.12.94+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'linux-support-6.12.95+deb13', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'loop-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'md-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-core-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-core-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-core-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-core-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mmc-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-core-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'mtd-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'multipath-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nbd-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-shared-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-usb-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'nic-wireless-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'pata-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'ppp-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'rtla', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sata-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-core-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'scsi-nic-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'serial-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'serial-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'serial-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'serial-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sound-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sound-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sound-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'sound-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'speakup-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'speakup-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'speakup-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'speakup-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'squashfs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'udf-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'uinput-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-serial-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13.1-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.94+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.95+deb13-armmp-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usb-storage-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'usbip', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13.1-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13.1-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.90+deb13.1-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.94+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.94+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.94+deb13-s390x-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.95+deb13-powerpc64le-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.95+deb13-riscv64-di', 'reference': '6.12.95-1'},
    {'release': '13.0', 'prefix': 'xfs-modules-6.12.95+deb13-s390x-di', 'reference': '6.12.95-1'}
];

var flag = 0;
foreach package_array ( pkgs ) {
  var _release = NULL;
  var prefix = NULL;
  var reference = NULL;
  if (!empty_or_null(package_array['release'])) _release = package_array['release'];
  if (!empty_or_null(package_array['prefix'])) prefix = package_array['prefix'];
  if (!empty_or_null(package_array['reference'])) reference = package_array['reference'];
  if (_release && prefix && reference) {
    if (deb_check(release:_release, prefix:prefix, reference:reference)) flag++;
  }
}

if (flag)
{
  security_report_v4(
    port       : 0,
    severity   : SECURITY_WARNING,
    extra      : deb_report_get()
  );
  exit(0);
}
else
{
  var tested = deb_pkg_tests_get();
  if (tested) audit(AUDIT_PACKAGE_NOT_AFFECTED, tested);
  else audit(AUDIT_PACKAGE_NOT_INSTALLED, 'ata-modules-6.12.90+deb13-armmp-di / etc');
}