Репозиторий COPR некоторое время не обновлялся, и поэтому пакеты не были созданы для вашей версии Fedora. Есть несколько возможностей сделать:
- Попросите владельца репо пересобрать пакет для Fedora 25 (предпочтительно)
- Измените
/etc/yum.repos.d/_copr_jonludlam-opam.repo
и замените$releasever
на23
. Это установит последние пакеты, собранные - Создайте проект и соберите пакеты для Fedora 25 самостоятельно (если у вас есть учетная запись FAS)