diff --git a/apron.spec b/apron.spec index fef48e8..e7930a1 100644 --- a/apron.spec +++ b/apron.spec @@ -1,6 +1,6 @@ Name: apron Version: 0.9.12 -Release: 3%{?dist} +Release: 4%{?dist} Summary: Numerical abstract domain library # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of @@ -232,6 +232,9 @@ test/ctest1 %{_jnidir}/*.so %changelog +* Thu Apr 02 2020 Richard W.M. Jones - 0.9.12-4 +- Update all OCaml dependencies for RPM 4.16. + * Wed Feb 26 2020 Richard W.M. Jones - 0.9.12-3 - OCaml 4.10.0 final.