diff --git a/apron.spec b/apron.spec index 4f74d40..4902850 100644 --- a/apron.spec +++ b/apron.spec @@ -1,6 +1,6 @@ Name: apron Version: 0.9.12 -Release: 9%{?dist} +Release: 10%{?dist} Summary: Numerical abstract domain library # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of @@ -235,6 +235,9 @@ test/ctest1 %{_jnidir}/*.so %changelog +* Tue Sep 01 2020 Richard W.M. Jones - 0.9.12-10 +- OCaml 4.11.1 rebuild + * Fri Aug 21 2020 Richard W.M. Jones - 0.9.12-9 - OCaml 4.11.0 rebuild