Das COPR-Repo wurde einige Zeit nicht aktualisiert und daher wurden die Pakete nicht für Ihre Fedora-Version erstellt. Es gibt nur wenige Möglichkeiten:
- Bitten Sie den Repo-Besitzer, das Paket für Fedora 25 (bevorzugt) neu zu erstellen.
- Ändern Sie das
/etc/yum.repos.d/_copr_jonludlam-opam.repo
und ersetzen Sie das$releasever
durch23
. Dadurch werden die neuesten erstellten Pakete installiert - Fork das Projekt und bauen die Pakete für Fedora 25 selbst neu auf (wenn Sie ein FAS-Konto haben)