09737755-tuxedo-drivers/tuxedo-drivers-4.16.0-1.fc42.noarch.rpm pruned on 2025-11-11 07:46:47.526272+00:00, by PID 31371
09737755-tuxedo-drivers/tuxedo-drivers-4.16.0-1.fc42.src.rpm pruned on 2025-11-11 07:46:47.536862+00:00, by PID 31371