08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc41.noarch.rpm pruned on 2025-05-16 05:10:16.909276+00:00, by PID 458627
08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc41.src.rpm pruned on 2025-05-16 05:10:16.916916+00:00, by PID 458627