08223427-tuxedo-drivers/tuxedo-drivers-4.10.2-1.fc40.noarch.rpm pruned on 2024-11-27 09:56:03.388473+00:00, by PID 2750562
08223427-tuxedo-drivers/tuxedo-drivers-4.10.2-1.fc40.src.rpm pruned on 2024-11-27 09:56:03.389401+00:00, by PID 2750562