Changelog for cvc4-1.4-lp150.3.1.x86_64.rpm :

* Tue Jul 14 2015 devAATTstellardeath.org- Initial package of version 1.4 Patches: gcc51_ice.patch to avoid an ICE new_cpp.patch to deal with newlines introduced by newer cpp