Nunca é boa ideia misturar pacotes para diferentes sistemas. Pode funcionar, mas você pode encontrar problemas difíceis de depurar. Mas provavelmente não funcionará.
A melhor maneira é reconstruir o pacote para o seu sistema. Ou você pode pedir ao mantenedor do pacote atual para fazer isso por você (adicione o pacote EPEL7, que aparecerá no seu repositório EPEL) ou faça você mesmo:
-
Faça o download do pacote SRPM mais recente em Koji :
wget https://kojipkgs.fedoraproject.org//packages/frama-c/1.14/1.fc27/src/frama-c-1.14-1.fc27.src.rpm
-
Reconstrua-o para o seu sistema (possivelmente resolva dependências ausentes, se elas estiverem disponíveis):
rpmbuild --rebuild frama-c-1.14-1.fc27.src.rpm
-
Instale o pacote:
yum install ~/rpmbuild/RPMS/.../path/../to/your.rpms