24665c
Build-Depends-Arch: kmod [arm64] <!noudeb !pkg.linux.nokernel>, linux-binary-unsigned-7.2-arm64 (= 7.2~rc7-1~exp1) [arm64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-arm64-16k (= 7.2~rc7-1~exp1) [arm64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-cloud-arm64 (= 7.2~rc7-1~exp1) [arm64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-rt-arm64 (= 7.2~rc7-1~exp1) [arm64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-test (= 7.2~rc7-1~exp1) [arm64] <pkg.linux.quick !pkg.linux.nokernel>, rsync [arm64] <!pkg.linux.nokernel>
.
24662,24663c
 9d0fdab70bd3c7d1912b05afe4ac97d68b4c3fb818ef171d3936692ae4f80adb 6278 linux-signed-arm64_7.2~rc7+1~exp1.dsc
 8fef1a0da3e1d37946ceb12ccf181bbe6b296679e7ff1d6a4f90c242bdd9afbd 691284 linux-signed-arm64_7.2~rc7+1~exp1.tar.xz
.
24657,24658c
 bc37a7fcf1c59d848a7e706e83559b84 6278 linux-signed-arm64_7.2~rc7+1~exp1.dsc
 5f849c348bbca328ac35358e6d48fb45 691284 linux-signed-arm64_7.2~rc7+1~exp1.tar.xz
.
24649c
Version: 7.2~rc7+1~exp1
.
24615c
Build-Depends-Arch: kmod [amd64] <!noudeb !pkg.linux.nokernel>, linux-binary-unsigned-7.2-amd64 (= 7.2~rc7-1~exp1) [amd64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-cloud-amd64 (= 7.2~rc7-1~exp1) [amd64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-rt-amd64 (= 7.2~rc7-1~exp1) [amd64] <!pkg.linux.nokernel !pkg.linux.quick>, linux-binary-unsigned-7.2-test (= 7.2~rc7-1~exp1) [amd64] <pkg.linux.quick !pkg.linux.nokernel>, rsync [amd64] <!pkg.linux.nokernel>
.
24612,24613c
 38f26b00313079cdad5206f873ec28fd3c2adda47dea8941754819822083f1c7 5320 linux-signed-amd64_7.2~rc7+1~exp1.dsc
 fb6e4fc139e516aff3c119a89ff1d74ca14d8d4a759935be3d8e5a4ffc84cdb7 690156 linux-signed-amd64_7.2~rc7+1~exp1.tar.xz
.
24607,24608c
 490b0532aa0021bf5c3b827330d43aa9 5320 linux-signed-amd64_7.2~rc7+1~exp1.dsc
 dc900726d0ccc4abacae5d2379880ead 690156 linux-signed-amd64_7.2~rc7+1~exp1.tar.xz
.
24599c
Version: 7.2~rc7+1~exp1
.
23728,24596c
Version: 7.2~rc7-1~exp1
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Uploaders: Bastian Blank <waldi@debian.org>, maximilian attems <maks@debian.org>, Ben Hutchings <benh@debian.org>, Salvatore Bonaccorso <carnil@debian.org>
Build-Depends: cpio <!pkg.linux.noudeb>, debhelper-compat (= 13), dh-python <!pkg.linux.notools>, python3-dacite:native, python3-jinja2:native, python3:native, quilt
Build-Depends-Indep: cpio <!nodoc !pkg.linux.quick> <!pkg.linux.nokernel>, dvipng <!nodoc !pkg.linux.quick>, graphviz <!nodoc !pkg.linux.quick>, patchutils <!pkg.linux.nosource !pkg.linux.quick>, python3-sphinx <!nodoc !pkg.linux.quick>, python3-sphinx-rtd-theme <!nodoc !pkg.linux.quick>, python3-yaml <!nodoc !pkg.linux.quick>, rsync, sphinx-common <!nodoc !pkg.linux.quick>, texlive-latex-base <!nodoc !pkg.linux.quick>, texlive-latex-extra <!nodoc !pkg.linux.quick>, xz-utils <!pkg.linux.nosource !pkg.linux.quick>
Architecture: linux-any all
Standards-Version: 4.2.0
Format: 3.0 (quilt)
Files:
 761b9e160221dfcc2292254c331a33c3 183244 linux_7.2~rc7-1~exp1.dsc
 e07b28674bb19d85089b36b3e5f9e87e 163332084 linux_7.2~rc7.orig.tar.xz
 be1ec1e31917c6b68b077aba2f97ecb9 1459988 linux_7.2~rc7-1~exp1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/kernel-team/linux
Vcs-Git: https://salsa.debian.org/kernel-team/linux.git
Checksums-Sha256:
 700c4899982142a1aa5d3f5767bf9d04965dd416f136ef8662d600633063f247 183244 linux_7.2~rc7-1~exp1.dsc
 5f765e11c3c336f8e8d43b80565f3ada566af7d1cee97a86a52f73bfbcb49eff 163332084 linux_7.2~rc7.orig.tar.xz
 5111e984f87c027897b00701f6c2806da1ac637217741d77a0faed6683566a19 1459988 linux_7.2~rc7-1~exp1.debian.tar.xz
Homepage: https://www.kernel.org/
Build-Depends-Arch: asciidoctor [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nodoc !nopython !pkg.linux.mintools !pkg.linux.notools>, autoconf [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, automake [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, bc [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, bindgen:native (>= 0.65.1) [amd64 arm64 armhf loong64 riscv64] <!pkg.linux.nokernel !pkg.linux.norust>, binutils-dev [hppa] <!pkg.linux.mintools !pkg.linux.notools>, bison [alpha amd64 arm64 armhf hppa linux-any loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.notools> <!pkg.linux.nokernel>, flex [alpha amd64 arm64 armhf hppa linux-any loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.notools> <!pkg.linux.nokernel>, gcc-15-for-host [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, gcc-15-hppa64-linux-gnu [hppa] <!pkg.linux.nokernel>, gcc-arm-linux-gnueabihf [arm64] <!pkg.linux.nokernel>, gcc-multilib [amd64 mips64 mips64el mips64r6 mips64r6el ppc64 sparc64] <!cross !nopython !pkg.linux.mintools !pkg.linux.notools>, kmod [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, libaudit-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libbabeltrace-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libcap-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libconfig-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libdebuginfod-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libdw-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libelf-dev [linux-any] <!pkg.linux.notools>, libelf-dev:native [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, libglib2.0-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libncurses-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libnewt-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libnl-3-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libnl-genl-3-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libnuma-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libopencsd-dev (>= 1.1.1) [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libpci-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libperl-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libpython3-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libssl-dev [linux-any] <!pkg.linux.notools>, libssl-dev:native [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, libtool [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libtraceevent-dev (>= 1:1.5) [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64 x32] <!pkg.linux.mintools !pkg.linux.notools>, libtracefs-dev (>= 1.3) [amd64 arm64 armhf i386 x32] <!pkg.linux.mintools !pkg.linux.notools>, libudev-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libunwind-dev [amd64 arm64 armel armhf hppa i386 mips mips64 mips64el mipsel powerpc ppc64 ppc64el sh4] <!nopython !pkg.linux.mintools !pkg.linux.notools>, libwrap0-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, libzstd-dev [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, lz4 [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, openssl [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, pahole [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, python3-dev:any [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, python3-docutils [amd64 arm64 armhf i386 linux-any x32] <!pkg.linux.mintools !pkg.linux.notools>, python3-setuptools [alpha amd64 arm64 armel armhf hppa i386 loong64 mips mips64 mips64el mips64r6 mips64r6el mipsel mipsn32 mipsn32el mipsn32r6 mipsn32r6el mipsr6 mipsr6el powerpc ppc64 ppc64el riscv64 s390 s390x sh4 sparc sparc64] <!nopython !pkg.linux.mintools !pkg.linux.notools>, rsync [linux-any] <!pkg.linux.notools>, rust-src (>= 1.78.0) [amd64 arm64 armhf loong64 riscv64] <!pkg.linux.nokernel !pkg.linux.norust>, rustc:native (>= 1.78.0) [amd64 arm64 armhf loong64 riscv64] <!pkg.linux.nokernel !pkg.linux.norust>, xz-utils [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>, zlib1g-dev [linux-any] <!pkg.linux.mintools !pkg.linux.notools>, zstd [alpha amd64 arm64 armhf hppa loong64 m68k powerpc ppc64 ppc64el riscv64 s390x sh4 sparc64] <!pkg.linux.nokernel>
Package-List: 
 affs-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 affs-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 affs-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ata-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 base-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 bpftool deb devel optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 btrfs-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 btrfs-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 cdrom-core-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-dm-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 crypto-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 dasd-extra-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 dasd-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 drm-core-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ext4-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 f2fs-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fat-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 fb-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 firewire-core-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 hfs-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 hfs-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 hfs-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 hyperv-daemons deb admin optional arch=amd64,arm64,i386,x32 profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 hypervisor-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 hypervisor-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 input-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 intel-sdsi deb admin optional arch=amd64 profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 isofs-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 isofs-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 jfs-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 libcpupower-dev deb libdevel optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 libcpupower1 deb libs optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 linux-base-7.2-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-arm64-16k deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-cloud-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-cloud-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-rt-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-rt-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-base-7.2-test deb kernel optional arch=amd64,arm64 profile=pkg.linux.quick,!pkg.linux.nokernel profile:v1=pkg.linux.quick&!pkg.linux.nokernel
 linux-base-7.2-test-di udeb debian-installer standard arch=amd64,arm64 profile=pkg.linux.quick,!noudeb,!pkg.linux.nokernel profile:v1=pkg.linux.quick&!noudeb&!pkg.linux.nokernel
 linux-base-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-base-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-binary-7.2-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-7.2-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-arm64-16k deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-cloud-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-cloud-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-rt-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-rt-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-binary-unsigned-7.2-test deb kernel optional arch=amd64,arm64 profile=pkg.linux.quick,!pkg.linux.nokernel profile:v1=pkg.linux.quick&!pkg.linux.nokernel
 linux-bpf-dev deb devel optional arch=alpha,amd64,arm64,armhf,hppa,loong64,m68k,ppc64,ppc64el,riscv64,s390x,sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-config-7.2 deb kernel optional arch=linux-any profile=!pkg.linux.nosource profile:v1=!pkg.linux.nosource
 linux-cpupower deb admin optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 linux-doc deb doc optional arch=all profile=!nodoc,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!nodoc&!pkg.linux.nometa&!pkg.linux.quick
 linux-doc-7.2 deb doc optional arch=all profile=!nodoc,!pkg.linux.quick profile:v1=!nodoc&!pkg.linux.quick
 linux-headers-7.2-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-arm64-16k deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-cloud-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-cloud-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-common deb kernel optional arch=all profile=!pkg.linux.nokernel profile:v1=!pkg.linux.nokernel
 linux-headers-7.2-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-rt-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-rt-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-7.2-test deb kernel optional arch=amd64,arm64 profile=pkg.linux.quick,!pkg.linux.nokernel profile:v1=pkg.linux.quick&!pkg.linux.nokernel
 linux-headers-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-headers-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-7.2-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-alpha-generic-dbg deb debug optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-alpha-smp-dbg deb debug optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-amd64-dbg deb debug optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-arm64-16k-dbg deb debug optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-arm64-dbg deb debug optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-armmp-dbg deb debug optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-armmp-lpae-dbg deb debug optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-cloud-amd64-dbg deb debug optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-cloud-arm64-dbg deb debug optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-loong64-dbg deb debug optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-m68k-dbg deb debug optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-parisc-dbg deb debug optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-parisc64-dbg deb debug optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc-dbg deb debug optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc-smp-dbg deb debug optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc64-64k-dbg deb debug optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc64-dbg deb debug optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-powerpc64le-64k-dbg deb debug optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-powerpc64le-dbg deb debug optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-riscv64-dbg deb debug optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-rt-amd64-dbg deb debug optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-rt-arm64-dbg deb debug optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-s390x-dbg deb debug optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-sh7751r-dbg deb debug optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-sparc64-dbg deb debug optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-7.2-sparc64-smp-dbg deb debug optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-7.2-test-dbg deb debug optional arch=amd64,arm64 profile=pkg.linux.quick,!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.quick profile:v1=pkg.linux.quick&!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.quick
 linux-image-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-alpha-generic-dbg deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-alpha-smp-dbg deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-armmp-dbg deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-armmp-lpae-dbg deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-loong64-dbg deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-m68k-dbg deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-parisc-dbg deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-parisc64-dbg deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc-dbg deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc-smp-dbg deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64-64k-dbg deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64-dbg deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64le-64k-dbg deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-powerpc64le-dbg deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-riscv64-dbg deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-s390x-dbg deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sh7751r-dbg deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sparc64-dbg deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-sparc64-smp-dbg deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.nokerneldbg,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nokerneldbg&!pkg.linux.nometa&!pkg.linux.quick
 linux-kbuild-7.2 deb kernel optional arch=linux-any profile=!pkg.linux.notools profile:v1=!pkg.linux.notools
 linux-libc-dev deb devel optional arch=all
 linux-libc-dev-alpha-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-amd64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-arc-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-arm64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-armel-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-armhf-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-hppa-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-i386-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-loong64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-m68k-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mips-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mips64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mips64el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mips64r6-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mips64r6el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsel-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsn32-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsn32el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsn32r6-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsn32r6el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsr6-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-mipsr6el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-powerpc-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-ppc64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-ppc64el-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-riscv64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-s390x-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-sh4-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-sparc64-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-libc-dev-x32-cross deb devel optional arch=all profile=!pkg.linux.quick profile:v1=!pkg.linux.quick
 linux-misc-tools deb admin optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 linux-modules-7.2-alpha-generic deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-alpha-smp deb kernel optional arch=alpha profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-arm64-16k deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-armmp deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-armmp-lpae deb kernel optional arch=armhf profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-cloud-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-cloud-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-loong64 deb kernel optional arch=loong64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-m68k deb kernel optional arch=m68k profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-parisc deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-parisc64 deb kernel optional arch=hppa profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc-smp deb kernel optional arch=powerpc profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc64 deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc64-64k deb kernel optional arch=ppc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc64le deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-powerpc64le-64k deb kernel optional arch=ppc64el profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-riscv64 deb kernel optional arch=riscv64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-rt-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-rt-arm64 deb kernel optional arch=arm64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-s390x deb kernel optional arch=s390x profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-sh7751r deb kernel optional arch=sh4 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-sparc64 deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-sparc64-smp deb kernel optional arch=sparc64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-modules-7.2-test deb kernel optional arch=amd64,arm64 profile=pkg.linux.quick,!pkg.linux.nokernel profile:v1=pkg.linux.quick&!pkg.linux.nokernel
 linux-perf deb devel optional arch=alpha,amd64,arm64,armel,armhf,hppa,i386,loong64,mips,mips64,mips64el,mips64r6,mips64r6el,mipsel,mipsn32,mipsn32el,mipsn32r6,mipsn32r6el,mipsr6,mipsr6el,powerpc,ppc64,ppc64el,riscv64,s390,s390x,sh4,sparc,sparc64 profile=!nopython,!pkg.linux.mintools,!pkg.linux.notools profile:v1=!nopython&!pkg.linux.mintools&!pkg.linux.notools
 linux-signed-amd64-template deb kernel optional arch=amd64 profile=!pkg.linux.nokernel profile:v1=!pkg.linux.nokernel
 linux-signed-arm64-template deb kernel optional arch=arm64 profile=!pkg.linux.nokernel profile:v1=!pkg.linux.nokernel
 linux-source deb kernel optional arch=all profile=!pkg.linux.nometa,!pkg.linux.nosource,!pkg.linux.quick profile:v1=!pkg.linux.nometa&!pkg.linux.nosource&!pkg.linux.quick
 linux-source-7.2 deb kernel optional arch=all profile=!pkg.linux.nosource,!pkg.linux.quick profile:v1=!pkg.linux.nosource&!pkg.linux.quick
 loop-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 loop-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 md-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-core-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-core-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-core-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-core-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mmc-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-core-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-core-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-core-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-core-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-core-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 mtd-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 multipath-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nbd-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-pcmcia-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-pcmcia-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-pcmcia-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-pcmcia-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-shared-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-usb-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 nic-wireless-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pata-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-storage-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-storage-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 pcmcia-storage-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ppp-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 rfkill-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 rfkill-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 rtla deb devel optional arch=amd64,arm64,armhf,i386,x32 profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 sata-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sata-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-core-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 scsi-nic-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 serial-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sound-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sound-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sound-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sound-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 sound-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 speakup-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 speakup-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 speakup-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 speakup-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 speakup-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 squashfs-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-s390x-di udeb debian-installer optional arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 udf-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 ufs-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-m68k-di udeb debian-installer optional arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 uinput-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-alpha-generic-di udeb debian-installer optional arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-amd64-di udeb debian-installer optional arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-arm64-di udeb debian-installer optional arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-armmp-di udeb debian-installer optional arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-loong64-di udeb debian-installer optional arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-parisc-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-parisc64-di udeb debian-installer optional arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-powerpc-di udeb debian-installer optional arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-powerpc64-di udeb debian-installer optional arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-powerpc64le-di udeb debian-installer optional arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-riscv64-di udeb debian-installer optional arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-sh7751r-di udeb debian-installer optional arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-serial-modules-7.2-sparc64-di udeb debian-installer optional arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usb-storage-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 usbip deb admin optional arch=linux-any profile=!pkg.linux.mintools,!pkg.linux.notools profile:v1=!pkg.linux.mintools&!pkg.linux.notools
 xfs-modules-7.2-alpha-generic-di udeb debian-installer standard arch=alpha profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-amd64-di udeb debian-installer standard arch=amd64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-arm64-di udeb debian-installer standard arch=arm64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-armmp-di udeb debian-installer standard arch=armhf profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-loong64-di udeb debian-installer standard arch=loong64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-m68k-di udeb debian-installer standard arch=m68k profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-parisc-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-parisc64-di udeb debian-installer standard arch=hppa profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-powerpc-di udeb debian-installer standard arch=powerpc profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-powerpc64-di udeb debian-installer standard arch=ppc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-powerpc64le-di udeb debian-installer standard arch=ppc64el profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-riscv64-di udeb debian-installer standard arch=riscv64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-s390x-di udeb debian-installer standard arch=s390x profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-sh7751r-di udeb debian-installer standard arch=sh4 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
 xfs-modules-7.2-sparc64-di udeb debian-installer standard arch=sparc64 profile=!noudeb,!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!noudeb&!pkg.linux.nokernel&!pkg.linux.quick
Testsuite: autopkgtest
Testsuite-Triggers: python3-jinja2, python3-pytest
Directory: pool/main/l/linux
Priority: optional
Section: kernel

.
22015,22042d
