-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (native)
Source: linux-signed-tuxedo-amd64
Binary: linux-base-tuxedo-txos-amd64, linux-binary-7.3.4+tux.1.1-txos-amd64, linux-headers-tuxedo-txos-amd64, linux-image-7.3.4+tux.1.1-txos-amd64, linux-image-tuxedo-txos-amd64, linux-image-tuxedo-txos-amd64-dbg, linux-modules-tuxedo-txos-amd64
Architecture: amd64
Version: 7.3.4+1+tux1
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>
Homepage: https://www.kernel.org/
Standards-Version: 4.2.0
Vcs-Browser: https://salsa.debian.org/kernel-team/linux
Vcs-Git: https://salsa.debian.org/kernel-team/linux.git
Build-Depends: debhelper-compat (= 13), python3:any, sbsigntool [amd64 arm64]
Build-Depends-Arch: linux-binary-unsigned-7.3.4+tux.1.1-txos-amd64 (= 7.3.4-1+tux1) [amd64] <!pkg.linux.nokernel !pkg.linux.quick>, rsync [amd64] <!pkg.linux.nokernel !pkg.linux.quick>
Package-List:
 linux-base-tuxedo-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-binary-7.3.4+tux.1.1-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-headers-tuxedo-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-7.3.4+tux.1.1-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.quick
 linux-image-tuxedo-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
 linux-image-tuxedo-txos-amd64-dbg deb kernel optional arch=amd64 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-modules-tuxedo-txos-amd64 deb kernel optional arch=amd64 profile=!pkg.linux.nokernel,!pkg.linux.nometa,!pkg.linux.quick profile:v1=!pkg.linux.nokernel&!pkg.linux.nometa&!pkg.linux.quick
Checksums-Sha1:
 170e88f49fe4b021f2c948e1e16a7f6da7394d57 718080 linux-signed-tuxedo-amd64_7.3.4+1+tux1.tar.xz
Checksums-Sha256:
 3e1e0c7511f4139545823d5eb30b95944a80e59d4ea0ae3ce479b7aa956f4b93 718080 linux-signed-tuxedo-amd64_7.3.4+1+tux1.tar.xz
Files:
 d0865ed39988cd6da12578c55c29b957 718080 linux-signed-tuxedo-amd64_7.3.4+1+tux1.tar.xz

-----BEGIN PGP SIGNATURE-----

iQHMBAEBCgA2FiEE96WBwAoxiqp73ClJ8GK+D9zf6ysFAmr0POwYHHR1eEB0dXhl
ZG9jb21wdXRlcnMuY29tAAoJEPBivg/c3+sr4GIMANTPjoTW8z55TtHwu8ocT2lE
gLPYEyEe70K5jeUhd3hGnb+rxA7UZRQ4immx90bb0cgm3/hWMFHJGSjAXW8r5fEc
ngqS6S/MSpXr4EdujsusxaJ+E/lgkUiJq5rmWpOAuJ0/dGQ9p75S2UAmQ/W+1VI+
MCScvm/itiLo6N6Tlvuanv2S1xkGzOwfpT08KFKqwgucoObpTYyQcMsnZVR8eVJg
8UBtxntjnApjb+eCIKLAEojDMWugW0hs8ftnXktxOBbDbR2M6ITgrRlkL5r/4h89
yjuOEZNg1Qq232/RNszTiTu5etpCCvYHkvhRGBh0faRFnWt40u+B1tdeB8qck/yk
YuKQhadT5ktkQhwGrklXJ/SacoED5qcSK2rhWS0wZ4suCQBm64VqAzxEpY86V/Ms
lkdg0eBUr+MWid084ckOYVUnK4IdJ47OIwiqFAdRAnINjfa8RZavorY3PWVspmgQ
aRO2AYJm4VUs2H17rgeRE2d34zDUz3sS86ajIUl8Zw==
=YJqI
-----END PGP SIGNATURE-----