Format: 1.8
Date: Wed, 29 Jul 2026 21:05:03 +0000
Source: linux-signed-amd64
Built-For-Profiles: nodoc noudeb pkg.linux.mintools pkg.linux.nokerneldbg pkg.linux.nokerneldbginfo pkg.linux.nosource nopython
Architecture: source
Version: 7.1.5+1tux4
Distribution: tuxedo
Urgency: medium
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Changed-By: Tuxedo BOT <tux@tuxedocomputers.com>
Changes:
 linux-signed-amd64 (7.1.5+1tux4) tuxedo; urgency=medium
 .
   * Sign kernel from linux 7.1.5-1tux4
 .
   [ Werner Sembach ]
   * TUXEDO: Fix CI selecting wrong runner
Checksums-Sha1:
 f03a8a88f2b1216c197769d3f9a26985ffe813ec 8165 linux-signed-amd64_7.1.5+1tux4.dsc
 c11881781466d31c2dab7baacd59fac1f939acba 733128 linux-signed-amd64_7.1.5+1tux4.tar.xz
Checksums-Sha256:
 ae1b70808c9194418f0090b5e1f7b1b79606da4dd46646a061044f1f21e43eb4 8165 linux-signed-amd64_7.1.5+1tux4.dsc
 ed8b4ac166bfca372371d07fcf7000992deb5f6e17dc61505f0aecec8e00814f 733128 linux-signed-amd64_7.1.5+1tux4.tar.xz
Files:
 7330a4e42c5a5a37871cb73e439a5501 8165 kernel optional linux-signed-amd64_7.1.5+1tux4.dsc
 81c2a8b2b52f3e5ec2d1750fc68ef86a 733128 kernel optional linux-signed-amd64_7.1.5+1tux4.tar.xz