Package: ftp.debian.org Severity: normal Please remove xenomai. It's orphaned without an adopter since 2016, only provides patches for vintage kernels (925453) and depends on removed kernel-package (925451). It also missed the last two stable releases already.
Cheers, Moritz