# apt-mark showhold # grep ^deb /etc/apt/sources.list deb http://ftp.debian.org/debian/ trixie main non-free non-free-firmware contrib deb http://www.deb-multimedia.org trixie main non-free deb http://mirror.ppa.trinitydesktop.org/trinity-sb trixie deps-r14 main-r14 # apt-cache madison linux-image-686 # dpkg-query -l | grep linux-image ii linux-image-6.1.0-25-686 6.1.106-3 i386 Linux 6.1 for older PCs (signed) ii linux-image-6.10.12-686 6.10.12-1 i386 Linux 6.10 for older PCs ii linux-image-6.9.12-686 6.9.12-1 i386 Linux 6.9 for older PCs ii linux-image-686 6.10.12-1 i386 Linux for older PCs (meta-package) # aptitude search linux-image i A linux-image-6.1.0-25-686 - Linux 6.1 for older PCs (signed) i linux-image-6.10.12-686 - Linux 6.10 for older PCs i linux-image-6.9.12-686 - Linux 6.9 for older PCs i linux-image-686 - Linux for older PCs (meta-package) #
Until I went to http://ftp.us.debian.org/debian/pool/main/l/linux/ and looked, I had thought no newer kernel available. I fetched with wget and installed. Debian tool searching showed only the installed kernels, and apt-cache madison was coming up empty. The mirror also offers 6.10.11, 6.10.9 and several older. Am I seeing impact of the recent announcement of 32bit kernel termination here? If not, what am I missing that I ended up getting the new kernel installed this hard way? -- Evolution as taught in public schools is, like religion, based on faith, not based on science. Team OS/2 ** Reg. Linux User #211409 ** a11y rocks! Felix Miata