No matches were found for subject:"\[ProofPower\] Fedora users\: OpenMotif RPM from the RPM Fusion repository causes ProofPower build problem"