10041144-tuxedo-drivers/tuxedo-drivers-4.19.0-1.fc42.noarch.rpm pruned on 2026-02-04 10:19:23.206321+00:00, by PID 715005
10041144-tuxedo-drivers/tuxedo-drivers-4.19.0-1.fc42.src.rpm pruned on 2026-02-04 10:19:23.207398+00:00, by PID 715005