diff --git a/frama-c.spec b/frama-c.spec index 09216b1..8ccd843 100644 --- a/frama-c.spec +++ b/frama-c.spec @@ -16,7 +16,7 @@ Name: frama-c Version: 1.10 -Release: 13%{?dist} +Release: 14%{?dist} Summary: Framework for source code analysis of C software # Licensing breakdown in source file frama-c-1.6-licensing @@ -279,6 +279,9 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || : %{_xemacs_sitelispdir}/acsl.el %changelog +* Mon Aug 25 2014 Jerry James - 1.10-14 +- ocaml-4.02.0+rc1 rebuild. + * Sat Aug 16 2014 Fedora Release Engineering - 1.10-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild