OCaml 5.2.1 rebuild for Fedora 41

- Correct License fields from Apache-2.0 to CECILL-C

alt-ergo.spec

@@ -13,7 +13,7 @@ ExcludeArch: %{ix86}
 
 Name:		alt-ergo
 Version:	%{minorver}.%{patchrel}
-Release:	30%{?dist}
+Release:	23%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 
 # The top-level license files apply to the non-free main distribution of
@@ -64,15 +64,15 @@ 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
@@ -81,18 +81,17 @@ 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.
 
@@ -104,18 +103,16 @@ 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.
 
@@ -127,11 +124,10 @@ Requires:	ocaml-num-devel%{?_isa}
 Requires:	ocaml-ocplib-simplex-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
@@ -143,8 +139,6 @@ tar xf %{SOURCE1}
 %endif
 
 %autopatch -p1
-
-%conf
 cd sources
 cp -p %{SOURCE3} com.ocamlpro.%{name}.desktop
 
@@ -159,11 +153,10 @@ cd -
 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
+# This is not an autoconf-generated script.  Do NOT use %%configure.
 cd sources
+./configure --prefix=%{_prefix} --libdir=%{ocamldir} --sharedir=%{ocamldir}
 %make_build
 
 %install
@@ -207,18 +200,6 @@ 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_check
@@ -287,31 +268,9 @@ cd sources
 %{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
+* Wed Jan 29 2025 Jerry James <loganjerry@gmail.com> - 2.3.%{patchrel}-23
+- OCaml 5.2.1 rebuild for Fedora 41
 - 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