08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc40.noarch.rpm pruned on 2025-05-16 05:10:17.091394+00:00, by PID 458641
08888384-tuxedo-drivers/tuxedo-drivers-4.12.2-1.fc40.src.rpm pruned on 2025-05-16 05:10:17.093063+00:00, by PID 458641