Package: jenkins.debian.org Severity: minor Thanks for maintaining jenkins!
https://tests.reproducible-builds.org/debian/index_variations.html lists: Linux 4.9.0-6-armmp #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07) armv7l Linux 4.9.0-6-armmp-lpae #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07) armv7l But no currently active systems are running these kernels. I suspect it is some cached kernel version leftover from before several armhf systems were removed (#903321: reproducible: Remove armhf systems with only 1GB of ram). I've also seen this happen when a system is down for a prolonged period and the last known kernel was an older kernel, although the case could be made that that's more-or-less correct. live well, vagrant
signature.asc
Description: PGP signature
