From 7548c9e05a08c145663ee22a225ab7dcd38dd2d1 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 1 Mar 2021 17:26:08 +0000 Subject: [PATCH] OCaml 4.12.0 build --- ocaml-cil.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ocaml-cil.spec b/ocaml-cil.spec index 2eda5c4..e1f4d5b 100644 --- a/ocaml-cil.spec +++ b/ocaml-cil.spec @@ -3,7 +3,7 @@ Name: ocaml-cil Version: 1.7.3 -Release: 66%{?dist} +Release: 67%{?dist} Summary: CIL - Infrastructure for C Program Analysis and Transformation License: BSD @@ -205,6 +205,9 @@ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf %changelog +* Mon Mar 1 17:26:07 GMT 2021 Richard W.M. Jones - 1.7.3-67 +- OCaml 4.12.0 build + * Tue Jan 26 2021 Fedora Release Engineering - 1.7.3-66 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild