Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild

- Do configuration steps in %conf

alt-ergo-dune3.patch

@@ -0,0 +1,29 @@
+--- alt-ergo-2.3.0-free/sources/configure.ml.orig	2022-05-20 01:34:55.000000000 -0600
++++ alt-ergo-2.3.0-free/sources/configure.ml	2022-07-05 16:42:35.856375154 -0600
+@@ -139,26 +139,6 @@ let () =
+     Format.eprintf "ERROR: Couldn't find dune in env@.";
+     exit 1
+ 
+-(* run dune to check that dependencies are installed *)
+-let () =
+-  let p_opt = match !pkg with
+-    | "" -> ""
+-    | s -> Format.asprintf "-p %s" s
+-  in
+-  let cmd = Format.asprintf
+-      "dune external-lib-deps --display=quiet --missing %s @install"
+-      p_opt
+-  in
+-  let ch = Unix.open_process_in cmd in
+-  let _ = read_all ch in
+-  let res = Unix.close_process_in ch in
+-  match res with
+-  | Unix.WEXITED 0 ->
+-    Format.printf "All deps are installed.@."
+-  | _ ->
+-    (* dune already prints the missing libs on stderr *)
+-    exit 2
+-
+ let () =
+   Format.printf "Good to go !@."
+ 

alt-ergo-forward-compat.patch

@@ -1,13 +1,25 @@
 --- alt-ergo-2.3.0-free/sources/alt-ergo-lib-free.opam.orig	2022-05-20 03:15:57.000000000 -0600
-+++ alt-ergo-2.3.0-free/sources/alt-ergo-lib-free.opam	2022-06-18 16:35:11.569523676 -0600
-@@ -16,7 +16,6 @@ depends: [
++++ alt-ergo-2.3.0-free/sources/alt-ergo-lib-free.opam	2022-07-05 16:40:03.983955825 -0600
+@@ -15,8 +15,6 @@ depends: [
+   "num"
    "ocplib-simplex" {>= "0.4" }
    "zarith"
-   "seq"
+-  "seq"
 -  "stdlib-shims"
  ]
  conflicts: [
    "alt-ergo"
+--- alt-ergo-2.3.0-free/sources/alt-ergo-lib.opam.orig	2022-05-20 01:34:55.000000000 -0600
++++ alt-ergo-2.3.0-free/sources/alt-ergo-lib.opam	2022-07-05 16:47:56.113259397 -0600
+@@ -15,8 +15,6 @@ depends: [
+   "num"
+   "ocplib-simplex" {>= "0.4" }
+   "zarith"
+-  "seq"
+-  "stdlib-shims"
+ ]
+ conflicts: [
+   "alt-ergo-free"
 --- alt-ergo-2.3.0-free/sources/alt-ergo-parsers-free.opam.orig	2022-05-20 03:16:01.000000000 -0600
 +++ alt-ergo-2.3.0-free/sources/alt-ergo-parsers-free.opam	2022-06-18 16:35:52.177624279 -0600
 @@ -16,7 +16,6 @@ depends: [
@@ -18,14 +30,24 @@
  ]
  conflicts: [
    "alt-ergo-parsers"
+--- alt-ergo-2.3.0-free/sources/alt-ergo-parsers.opam.orig	2022-05-20 01:34:55.000000000 -0600
++++ alt-ergo-2.3.0-free/sources/alt-ergo-parsers.opam	2022-07-05 16:39:33.254870985 -0600
+@@ -16,7 +16,6 @@ depends: [
+   "psmt2-frontend" { >= "0.2" }
+   "camlzip"
+   "menhir"
+-  "stdlib-shims"
+ ]
+ homepage: "http://alt-ergo.ocamlpro.com/"
+ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 --- alt-ergo-2.3.0-free/sources/lib/dune.orig	2022-05-20 01:34:55.000000000 -0600
-+++ alt-ergo-2.3.0-free/sources/lib/dune	2022-06-18 16:34:45.634456726 -0600
++++ alt-ergo-2.3.0-free/sources/lib/dune	2022-07-05 16:50:35.778700249 -0600
 @@ -9,7 +9,7 @@
    (public_name      alt-ergo-lib)
  
    ; external dependencies
 -  (libraries        seq unix num str zarith dynlink ocplib-simplex stdlib-shims)
-+  (libraries        seq unix num str zarith dynlink ocplib-simplex)
++  (libraries        unix num str zarith dynlink ocplib-simplex)
  
    ; .mli only modules *also* need to be in this field
    (modules_without_implementation matching_types numbersInterface sig sig_rel)

alt-ergo-inline-error.patch

@@ -0,0 +1,26 @@
+Fixes these errors:
+
+File "lib/util/util.mli", line 62, characters 6-12:
+62 | val [@inline always] compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
+           ^^^^^^
+Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context
+
+File "lib/util/util.mli", line 64, characters 6-12:
+64 | val [@inline always] cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
+           ^^^^^^
+Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context
+
+--- alt-ergo-2.3.0-free/sources/lib/util/util.mli.orig	2022-05-20 01:34:55.000000000 -0600
++++ alt-ergo-2.3.0-free/sources/lib/util/util.mli	2024-05-05 11:41:32.415674847 -0600
+@@ -59,9 +59,9 @@ val string_of_th_ext : theories_extensio
+    - Pervasives.compare a b is used if
+ 
+ *)
+-val [@inline always] compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
++val compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
+ 
+-val [@inline always] cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
++val cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
+ 
+ type matching_env =
+   {

alt-ergo.metainfo.xml

@@ -20,15 +20,15 @@
  <launchable type="desktop-id">com.ocamlpro.alt-ergo.desktop</launchable>
  <screenshots>
   <screenshot type="default">
-   <image>http://jjames.fedorapeople.org/alt-ergo/altgr-ergo-screenshot.png</image>
+   <image>https://jjames.fedorapeople.org/alt-ergo/altgr-ergo-screenshot.png</image>
    <caption>Basic Alt-Ergo usage</caption>
   </screenshot>
  </screenshots>
- <update_contact>loganjerry@gmail.com</update_contact>
+ <update_contact>alt-ergo-maintainers@fedoraproject.org</update_contact>
  <url type="homepage">https://alt-ergo.ocamlpro.com/</url>
  <url type="bugtracker">https://github.com/OCamlPro/alt-ergo/issues</url>
  <url type="contact">https://alt-ergo.ocamlpro.com/#services</url>
- <content_rating type="oars-1.0"></content_rating>
+ <content_rating type="oars-1.1"></content_rating>
  <provides>
   <binary>altgr-ergo</binary>
  </provides>

alt-ergo.spec

@@ -1,25 +1,27 @@
+# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
+ExcludeArch: %{ix86}
+
 # rpmlint "no-binary" error is not really an error - see:
 # https://www.redhat.com/archives/fedora-packaging/2008-August/msg00017.html
 # and ocaml-ocamlgraph spec file for a discussion of this issue.
 
-%undefine _package_note_flags
-
-%ifnarch %{ocaml_native_compiler}
-%global debug_package %{nil}
-%endif
-
 # The major and minor releases contain a full tarball.  Patch releases, however,
 # contain only the parts that have changed, typically just the sources
-# directory.  Use this to set up everything up appropriately.
+# directory.  Use this to set up everything appropriately.
 %global minorver 2.3
 %global patchrel 3
 
 Name:		alt-ergo
 Version:	%{minorver}.%{patchrel}
-Release:	1%{?dist}
+Release:	30%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
-License:	ASL 2.0
 
+# The top-level license files apply to the non-free main distribution of
+# alt-ergo.  The alt-ergo-free distribution, which we package, is distributed
+# with the CeCILL-C license, as noted on the website and also in
+# sources/tools/gui/main_gui.ml.
+# The AB-Why3 plugin is LGPL-2.1-only WITH OCaml-LGPL-linking-exception
+License:	CECILL-C AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
 URL:		https://alt-ergo.ocamlpro.com/
 # The patch releases contain only the sources directory.  The other files come
 # from the minor releases.
@@ -39,12 +41,16 @@ Patch1:		%{name}-psmt2-frontend.patch
 # AB plugin.  Menhir is unable to infer types with the current code and layout.
 # Check each new release to see if this is still necessary.
 Patch2:         %{name}-menhir.patch
-# Fedora does not have or need the forward compatibility stdlib-shims package
-Patch3:         %{name}-stdlib-shims.patch
+# Fedora does not need the forward compatibility seq and stdlib-shims packages
+Patch3:         %{name}-forward-compat.patch
+# Dune 3 eliminated the external-lib-deps command
+Patch4:         %{name}-dune3.patch
+# Avoid errors due to misplaced inline attributes
+Patch5:         %{name}-inline-error.patch
 
-BuildRequires:	appstream
 BuildRequires:	desktop-file-utils
 BuildRequires:	gtksourceview2-devel
+BuildRequires:	libappstream-glib
 BuildRequires:	make
 BuildRequires:	ocaml >= 4.04.0
 BuildRequires:	ocaml-dune
@@ -52,74 +58,80 @@ BuildRequires:	ocaml-lablgtk-devel
 BuildRequires:	ocaml-menhir
 BuildRequires:	ocaml-num-devel
 BuildRequires:	ocaml-ocplib-simplex-devel >= 0.4
-BuildRequires:	ocaml-odoc
 BuildRequires:	ocaml-psmt2-frontend-devel >= 0.2
-BuildRequires:	ocaml-seq-devel
 BuildRequires:	ocaml-zarith-devel
 BuildRequires:	ocaml-zip-devel
 
 Requires:	ocaml-alt-ergo-parsers%{?_isa} = %{version}-%{release}
 
-%global _desc %{expand:
-Alt-Ergo is an automated theorem prover implemented in OCaml. It is
-based on CC(X) - a congruence closure algorithm parameterized by an
-equational theory X. This algorithm is reminiscent of the Shostak
-algorithm. Currently CC(X) is instantiated by the theory of linear
-arithmetics. Alt-Ergo also contains a home made SAT-solver and an
-instantiation mechanism by which it fully supports quantifiers.}
+%global _desc %{expand:Alt-Ergo is an automated theorem prover implemented in OCaml.  It is based on
+CC(X) - a congruence closure algorithm parameterized by an equational theory
+X.  This algorithm is reminiscent of the Shostak algorithm.  Currently CC(X)
+is instantiated by the theory of linear arithmetics.  Alt-Ergo also contains a
+home made SAT-solver and an instantiation mechanism by which it fully supports
+quantifiers.}
 
-%description %_desc
+%description
+%_desc
 
 %package gui
 Summary:	Graphical front end for Alt-Ergo
+License:	CECILL-C
 Requires:	%{name}%{?_isa} = %{version}-%{release}
 Requires:	gtksourceview2
 Requires:	hicolor-icon-theme
 
-%description gui %_desc
+%description gui
+%_desc
 
-This package contains a graphical front end for the Alt-Ergo theorem
-prover.
+This package contains a graphical front end for the Alt-Ergo theorem prover.
 
 %package -n ocaml-alt-ergo-parsers
 Summary:	Parser library used by the Alt-Ergo SMT solver
+License:	CECILL-C
 Requires:	ocaml-alt-ergo-lib%{?_isa} = %{version}-%{release}
 
-%description -n ocaml-alt-ergo-parsers %_desc
+%description -n ocaml-alt-ergo-parsers
+%_desc
 
 This package contains the parser library used by the Alt-Ergo SMT solver.
 
 %package -n ocaml-alt-ergo-parsers-devel
 Summary:	Development files for ocaml-alt-ergo-parsers
+License:	CECILL-C
 Requires:	ocaml-alt-ergo-parsers%{?_isa} = %{version}-%{release}
 Requires:	ocaml-alt-ergo-lib-devel%{?_isa} = %{version}-%{release}
 Requires:	ocaml-psmt2-frontend-devel%{?_isa}
 Requires:	ocaml-zip-devel%{?_isa}
 
-%description -n ocaml-alt-ergo-parsers-devel %_desc
+%description -n ocaml-alt-ergo-parsers-devel
+%_desc
 
-This package contains development files needed to build applications
-that use the Alt-Ergo parser library.
+This package contains development files needed to build applications that use
+the Alt-Ergo parser library.
 
 %package -n ocaml-alt-ergo-lib
 Summary:	Automated theorem prover library
+License:	CECILL-C
 
-%description -n ocaml-alt-ergo-lib %_desc
+%description -n ocaml-alt-ergo-lib
+%_desc
 
 This package is the core of Alt-Ergo as an OCaml library.
 
 %package -n ocaml-alt-ergo-lib-devel
 Summary:	Development files for ocaml-alt-ergo-lib
+License:	CECILL-C
 Requires:	ocaml-alt-ergo-lib%{?_isa} = %{version}-%{release}
 Requires:	ocaml-num-devel%{?_isa}
 Requires:	ocaml-ocplib-simplex-devel%{?_isa}
-Requires:	ocaml-seq-devel%{?_isa}
 Requires:	ocaml-zarith-devel%{?_isa}
 
-%description -n ocaml-alt-ergo-lib-devel %_desc
+%description -n ocaml-alt-ergo-lib-devel
+%_desc
 
-This package contains development files needed to build applications
-that use the Alt-Ergo library.
+This package contains development files needed to build applications that use
+the Alt-Ergo library.
 
 %prep
 %autosetup -n %{name}-%{minorver}.0-free -N -a 2
@@ -131,6 +143,8 @@ tar xf %{SOURCE1}
 %endif
 
 %autopatch -p1
+
+%conf
 cd sources
 cp -p %{SOURCE3} com.ocamlpro.%{name}.desktop
 
@@ -140,22 +154,24 @@ unzip p4_34.why.zip
 rm p4_34.why.zip
 cd -
 
-%build
+%ifnarch %{ocaml_native_compiler}
+# Do not require native plugins
+sed -i '/cmxs/d' plugins/{AB-Why3,fm-simplex}/dune
+%endif
+
 # This is not an autoconf-generated script.  Do NOT use %%configure.
+./configure --prefix=%{_prefix} --libdir=%{ocamldir} --sharedir=%{ocamldir}
+
+%build
 cd sources
-./configure --prefix=%{_prefix} --libdir=%{_libdir}/ocaml --sharedir=%{_libdir}/ocaml
 %make_build
-%make_build doc
 
 %install
 cd sources
 %make_install
 
-# We do not want the dune markers
-find _build/default/_doc/_html -name .dune-keep -delete
-
 # We do not want the ml files
-find %{buildroot}%{_libdir}/ocaml -name \*.ml -delete
+find %{buildroot}%{ocamldir} -name \*.ml -delete
 
 # We install the documentation with the doc macro
 rm -fr %{buildroot}%{_prefix}/doc
@@ -166,7 +182,7 @@ cp -p doc/alt-ergo.1 %{buildroot}%{_mandir}/man1
 
 # The install target in the Makefile puts these in the wrong place
 mv %{buildroot}%{_datadir}/alt-ergo/{plugins,preludes} \
-   %{buildroot}%{_libdir}/ocaml/alt-ergo
+   %{buildroot}%{ocamldir}/alt-ergo
 rmdir %{buildroot}%{_datadir}/alt-ergo
 
 # Install the gtksourceview file
@@ -183,7 +199,7 @@ desktop-file-install --dir %{buildroot}%{_datadir}/applications \
 mkdir -p %{buildroot}%{_metainfodir}
 install -pm 644 %{SOURCE4} \
   %{buildroot}%{_metainfodir}/com.ocamlpro.%{name}.metainfo.xml
-appstreamcli validate --no-net \
+appstream-util validate-relax --nonet \
   %{buildroot}%{_metainfodir}/com.ocamlpro.%{name}.metainfo.xml
 
 # Install the icons
@@ -191,77 +207,195 @@ cd -
 mkdir -p %{buildroot}%{_datadir}/icons
 cp -a icons %{buildroot}%{_datadir}/icons/hicolor
 
+# Put something interesting into the META files
+cat > %{buildroot}%{ocamldir}/alt-ergo/META << EOF
+version = "%{version}"
+description = "Automated theorem prover including linear arithmetic"
+requires = ""
+EOF
+rm %{buildroot}%{ocamldir}/{alt-ergo-free,altgr-ergo}/META
+ln %{buildroot}%{ocamldir}/alt-ergo/META \
+   %{buildroot}%{ocamldir}/alt-ergo-free/META
+ln %{buildroot}%{ocamldir}/alt-ergo/META \
+   %{buildroot}%{ocamldir}/altgr-ergo/META
+
 %check
 cd sources
-dune runtest --release
+%dune_check
 
 %files
 %doc README.md sources/CHANGES sources/examples publications/*.pdf
-%license COPYING.md LICENSE.md License.OCamlPro
 %{_bindir}/%{name}
 %{_mandir}/man1/alt-ergo.1.*
-%{_libdir}/ocaml/%{name}/
-%{_libdir}/ocaml/%{name}-free/
+%{ocamldir}/%{name}/
+%{ocamldir}/%{name}-free/
 
 %files gui
 %{_bindir}/altgr-ergo
 %{_datadir}/applications/com.ocamlpro.%{name}.desktop
 %{_datadir}/gtksourceview-2.0/language-specs/%{name}.lang
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
-%{_libdir}/ocaml/altgr-ergo/
+%{ocamldir}/altgr-ergo/
 %{_metainfodir}/com.ocamlpro.%{name}.metainfo.xml
 
 %files -n ocaml-%{name}-parsers
-%dir %{_libdir}/ocaml/%{name}-parsers/
-%{_libdir}/ocaml/%{name}-parsers/META
-%{_libdir}/ocaml/%{name}-parsers/*.cma
-%{_libdir}/ocaml/%{name}-parsers/*.cmi
+%dir %{ocamldir}/%{name}-parsers/
+%{ocamldir}/%{name}-parsers/META
+%{ocamldir}/%{name}-parsers/*.cma
+%{ocamldir}/%{name}-parsers/*.cmi
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/%{name}-parsers/*.cmxs
+%{ocamldir}/%{name}-parsers/*.cmxs
 %endif
-%{_libdir}/ocaml/%{name}-parsers-free/
+%{ocamldir}/%{name}-parsers-free/
 
 %files -n ocaml-%{name}-parsers-devel
-%{_libdir}/ocaml/%{name}-parsers/dune-package
-%{_libdir}/ocaml/%{name}-parsers/opam
+%{ocamldir}/%{name}-parsers/dune-package
+%{ocamldir}/%{name}-parsers/opam
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/%{name}-parsers/*.a
-%{_libdir}/ocaml/%{name}-parsers/*.cmx
-%{_libdir}/ocaml/%{name}-parsers/*.cmxa
+%{ocamldir}/%{name}-parsers/*.a
+%{ocamldir}/%{name}-parsers/*.cmx
+%{ocamldir}/%{name}-parsers/*.cmxa
 %endif
-%{_libdir}/ocaml/%{name}-parsers/*.mli
-%{_libdir}/ocaml/%{name}-parsers/*.cmt
-%{_libdir}/ocaml/%{name}-parsers/*.cmti
+%{ocamldir}/%{name}-parsers/*.mli
+%{ocamldir}/%{name}-parsers/*.cmt
+%{ocamldir}/%{name}-parsers/*.cmti
 
 %files -n ocaml-%{name}-lib
-%dir %{_libdir}/ocaml/%{name}-lib/
-%{_libdir}/ocaml/%{name}-lib/META
-%{_libdir}/ocaml/%{name}-lib/*.cma
-%{_libdir}/ocaml/%{name}-lib/*.cmi
+%dir %{ocamldir}/%{name}-lib/
+%license LGPL-License.txt LICENSE.md License.OCamlPro
+%{ocamldir}/%{name}-lib/META
+%{ocamldir}/%{name}-lib/*.cma
+%{ocamldir}/%{name}-lib/*.cmi
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/%{name}-lib/*.cmxs
+%{ocamldir}/%{name}-lib/*.cmxs
 %endif
-%{_libdir}/ocaml/%{name}-lib-free/
+%{ocamldir}/%{name}-lib-free/
 
 %files -n ocaml-%{name}-lib-devel
-%doc sources/_build/default/_doc/*
-%{_libdir}/ocaml/%{name}-lib/dune-package
-%{_libdir}/ocaml/%{name}-lib/opam
+%{ocamldir}/%{name}-lib/dune-package
+%{ocamldir}/%{name}-lib/opam
+%{ocamldir}/%{name}-lib/frontend/
+%{ocamldir}/%{name}-lib/reasoners/
+%{ocamldir}/%{name}-lib/structures/
+%{ocamldir}/%{name}-lib/util/
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/%{name}-lib/*.a
-%{_libdir}/ocaml/%{name}-lib/*.cmx
-%{_libdir}/ocaml/%{name}-lib/*.cmxa
+%{ocamldir}/%{name}-lib/*.a
+%{ocamldir}/%{name}-lib/*.cmx
+%{ocamldir}/%{name}-lib/*.cmxa
 %endif
-%{_libdir}/ocaml/%{name}-lib/*.mli
-%{_libdir}/ocaml/%{name}-lib/*.cmt
-%{_libdir}/ocaml/%{name}-lib/*.cmti
+%{ocamldir}/%{name}-lib/*.cmt
+%{ocamldir}/%{name}-lib/*.cmti
 
 %changelog
+* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-30
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
+
+* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-29
+- OCaml 5.4.0 rebuild
+
+* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-28
+- Rebuild for ocaml-menhir 20250912
+
+* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-27
+- Rebuild for ocaml-menhir 20250903
+
+* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-26
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
+
+* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-25
+- Rebuild to fix OCaml dependencies
+
+* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-24
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
+
+* Thu Jan  9 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-23
+- OCaml 5.3.0 rebuild for Fedora 42
+- Correct License fields from Apache-2.0 to CECILL-C
+- Do configuration steps in %%conf
+
+* Mon Aug  5 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-22
+- Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
+
+* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-21
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
+
+* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-20
+- Rebuild for ocaml-zarith 1.14
+
+* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-19
+- OCaml 5.2.0 ppc64le fix
+
+* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-18
+- OCaml 5.2.0 for Fedora 41
+
+* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
+- Add patch to fix misplaced inline attributes
+
+* Fri Feb  2 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
+- Rebuild for changed ocamlx(Dynlink) hash
+
+* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-16
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-15
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Tue Jan  2 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-14
+- Rebuild for ocaml-num and ocaml-menhir 20231231
+
+* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-13
+- OCaml 5.1.1 + s390x code gen fix for Fedora 40
+
+* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-12
+- OCaml 5.1.1 rebuild for Fedora 40
+
+* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-11
+- OCaml 5.1 rebuild for Fedora 40
+
+* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-10
+- Rebuild for ocaml-zarith 1.13
+
+* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
+
+* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-8
+- Validate appdata with appstream-util
+
+* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-8
+- OCaml 5.0 rebuild for Fedora 39
+
+* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-7
+- OCaml 5.0.0 rebuild
+
+* Fri Mar 24 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-6
+- Dune 3.7.0 changed the install location of mli files
+
+* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-5
+- Rebuild OCaml packages for F38
+
+* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
+* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-3
+- Convert License tag to SPDX
+- Note that the AB plugin has a different license
+
+* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
+* Tue Jul  5 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-2
+- Patch out uses of the dune external-lib-deps command
+- Patch out references to the seq forward compatibility module
+- Use new OCaml macros
+
 * Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-1
 - Version 2.3.3
 - Add -menhir patch to fix FTBFS
 - Add -stdlib-shims patch since Fedora does not need stdlib-shims
 
+* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 2.3.0-5
+- OCaml 4.14.0 rebuild
+
 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 2.3.0-4
 - Switch to the correct tarball
 - Drop unneeded ocaml-findlib BR