08655129-tuxedo-drivers-kmod-common/tuxedo-drivers-kmod-common-4.12.1-1.fc42.aarch64.rpm pruned on 2025-07-14 06:36:49.887177+00:00, by PID 571785
08655129-tuxedo-drivers-kmod-common/tuxedo-drivers-kmod-common-4.12.1-1.fc42.src.rpm pruned on 2025-07-14 06:36:49.887723+00:00, by PID 571785