From 75168a54878ebd4dddacab1e1841bacd25441622 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 13 May 2017 12:30:48 +0100 Subject: [PATCH] OCaml 4.04.1 rebuild. --- ocaml-cil.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ocaml-cil.spec b/ocaml-cil.spec index 61fa4fd..09c3b4a 100644 --- a/ocaml-cil.spec +++ b/ocaml-cil.spec @@ -5,7 +5,7 @@ Name: ocaml-cil Version: 1.7.3 -Release: 29%{?dist} +Release: 30%{?dist} Summary: CIL - Infrastructure for C Program Analysis and Transformation License: BSD @@ -200,6 +200,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Sat May 13 2017 Richard W.M. Jones - 1.7.3-30 +- OCaml 4.04.1 rebuild. + * Tue Feb 14 2017 Richard W.M. Jones - 1.7.3-29 - Fix compilation with GCC 7.