08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc42.noarch.rpm pruned on 2025-05-16 05:10:17.090443+00:00, by PID 458645
08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc42.src.rpm pruned on 2025-05-16 05:10:17.092201+00:00, by PID 458645