OCaml 4.10.0 final (Fedora 32).

cil-1.7.3-enable-ocamlopt-g.patch

@@ -4,4 +4,4 @@
  "test": not_hygienic
  # build every cmo in debug mode (for cil.cma)
  <**/*.cmo>: debug
-+true: debug
++<**/*.cmx>: debug

ocaml-cil.spec

@@ -1,16 +1,12 @@
-# Disable debuginfo because I cannot get -g passed to ocamlopt -a
-%global debug_package %{nil}
-
 Name:           ocaml-cil
 Version:        1.7.3
-Release:        67%{?dist}
+Release:        56%{?dist}.1
 Summary:        CIL - Infrastructure for C Program Analysis and Transformation
 License:        BSD
 
 URL:            https://github.com/cil-project/cil
 Source0:        https://github.com/cil-project/cil/archive/cil-%{version}.tar.gz
 
-BuildRequires: make
 BuildRequires:  ocaml
 BuildRequires:  ocaml-ocamlbuild
 BuildRequires:  ocaml-findlib-devel
@@ -205,39 +201,8 @@ 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 <rjones@redhat.com> - 1.7.3-67
-- OCaml 4.12.0 build
-
-* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
-
-* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65
-- OCaml 4.11.1 rebuild
-
-* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-64
-- OCaml 4.11.0 rebuild
-
-* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-63
-- Second attempt - Rebuilt for
-  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-62
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Thu Jun 25 2020 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-61
-- Perl 5.32 rebuild
-
-* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-60
-- OCaml 4.11.0+dev2-2020-04-22 rebuild
-
-* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-59
-- OCaml 4.11.0 pre-release attempt 2
-
-* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-58
-- OCaml 4.11.0 pre-release
-
-* Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-57
-- Update all OCaml dependencies for RPM 4.16.
+* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-56.1
+- OCaml 4.10.0 final (Fedora 32).
 
 * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-56
 - OCaml 4.10.0 final.