Changelog for cvc4-devel-1.4-3.3.x86_64.rpm :
Tue Jul 14 14:00:00 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