Не рекомендуется смешивать пакеты для разных систем. Это может сработать, но вы можете столкнуться с трудными для отладки проблемами. Но скорее всего не получится.
Лучше всего пересобрать пакет для вашей системы. Либо вы можете попросить текущего сопровождающего пакета сделать это за вас (добавить пакет EPEL7, который появится в вашем репозитории EPEL), либо сделать это самостоятельно:
Загрузите последний пакет SRPM с Koji :
wget https://kojipkgs.fedoraproject.org//packages/frama-c/1.14/1.fc27/src/frama-c-1.14-1.fc27.src.rpm
Пересоберите его для своей системы (возможно, устраните отсутствующие зависимости, если они доступны):
rpmbuild --rebuild frama-c-1.14-1.fc27.src.rpm
Установите пакет:
yum install ~/rpmbuild/RPMS/.../path/../to/your.rpms