Add -data-race patch to fix segfault (bz 2157972).

Add -uninit patch to fix use of an uninitialized value.

sources

@@ -1 +1 @@
-SHA512 (z3-4.12.4.tar.gz) = fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
+SHA512 (z3-4.8.17.tar.gz) = 95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d

z3-data-race.patch

@@ -0,0 +1,10 @@
+--- z3-z3-4.11.2/src/solver/parallel_tactic.cpp.orig	2022-09-03 16:47:12.000000000 -0600
++++ z3-z3-4.11.2/src/solver/parallel_tactic.cpp	2023-01-08 21:39:29.169670155 -0700
+@@ -460,6 +460,7 @@ private:
+             conquer->get_model(mdl);
+         }
+         else {
++            std::lock_guard<std::mutex> lock(m_mutex);
+             s.get_solver().get_model(mdl);
+         }
+         if (mdl) {

z3-ocaml.patch

@@ -1,56 +0,0 @@
---- z3-z3-4.12.2/scripts/mk_util.py.orig	2023-05-12 13:59:04.000000000 -0600
-+++ z3-z3-4.12.2/scripts/mk_util.py	2023-07-06 11:53:06.045350565 -0600
-@@ -34,7 +34,7 @@ EXAMP_DEBUG_FLAG=''
- LDFLAGS=getenv("LDFLAGS", "")
- JNI_HOME=getenv("JNI_HOME", None)
- OCAMLC=getenv("OCAMLC", "ocamlc")
--OCAMLOPT=getenv("OCAMLOPT", "ocamlopt")
-+OCAMLOPT=getenv("OCAMLOPT", None)
- OCAML_LIB=getenv("OCAML_LIB", None)
- OCAMLFIND=getenv("OCAMLFIND", "ocamlfind")
- DOTNET="dotnet"
-@@ -460,13 +460,9 @@ def check_ml():
-         raise MKException('Failed testing ocamlc compiler. Set environment variable OCAMLC with the path to the Ocaml compiler')
-     if is_verbose():
-         print ('Testing %s...' % OCAMLOPT)
--    r = exec_cmd([OCAMLOPT, '-o', 'a.out', 'hello.ml'])
--    if r != 0:
--        raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler. Note that ocamlopt may require flexlink to be in your path.')
-     try:
-         rmf('hello.cmi')
-         rmf('hello.cmo')
--        rmf('hello.cmx')
-         rmf('a.out')
-         rmf('hello.o')
-     except:
-@@ -2069,7 +2065,7 @@ class MLComponent(Component):
-             out.write('\t%s -linkall -shared -o %s.cmxs -I . -I %s %s.cmxa\n' % (OCAMLOPTF, z3mls, self.sub_dir, z3mls))
- 
-             out.write('\n')
--            out.write('ml: %s.cma %s.cmxa %s.cmxs\n' % (z3mls, z3mls, z3mls))
-+            out.write('ml: %s.cma\n' % z3mls)
-             if IS_OSX:
-                 out.write('\tinstall_name_tool -id %s/libz3.dylib libz3.dylib\n' % (stubs_install_path))
-                 out.write('\tinstall_name_tool -change libz3.dylib %s/libz3.dylib api/ml/dllz3ml.so\n' % (stubs_install_path))
-@@ -2091,8 +2087,6 @@ class MLComponent(Component):
-             out.write(get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT) ')
-             out.write(os.path.join(self.sub_dir, 'META '))
-             out.write(os.path.join(self.sub_dir, 'z3ml.cma '))
--            out.write(os.path.join(self.sub_dir, 'z3ml.cmxa '))
--            out.write(os.path.join(self.sub_dir, 'z3ml.cmxs '))
- 
-     def mk_install(self, out):
-         if is_ml_enabled() and self._install_bindings():
-@@ -2119,12 +2113,9 @@ class MLComponent(Component):
-                 else:
-                     out.write(' ' + os.path.join(self.sub_dir, m) + '.mli')
-                 out.write(' ' + os.path.join(self.sub_dir, m) + '.cmi')
--                out.write(' ' + os.path.join(self.sub_dir, m) + '.cmx')
-             out.write(' %s' % ((os.path.join(self.sub_dir, 'libz3ml$(LIB_EXT)'))))
-             out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml$(LIB_EXT)'))))
-             out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cma'))))
--            out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cmxa'))))
--            out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cmxs'))))
-             out.write(' %s' % ((os.path.join(self.sub_dir, 'dllz3ml'))))
-             if is_windows() or is_cygwin_mingw() or is_msys2():
-                 out.write('.dll')

z3-python.patch

@@ -0,0 +1,21 @@
+--- a/scripts/update_api.py	2020-09-10 12:51:28.000000000 -0600
++++ b/scripts/update_api.py	2020-12-25 17:03:00.196777823 -0700
+@@ -1755,15 +1755,15 @@ def write_core_py_preamble(core_py):
+ # Automatically generated file
+ import sys, os
+ import ctypes
+-import pkg_resources
++import sysconfig
+ from .z3types import *
+ from .z3consts import *
+ 
+-_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so'
++_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so.@MAJVER@'
+ _lib = None
+ _default_dirs = ['.',
+                  os.path.dirname(os.path.abspath(__file__)),
+-                 pkg_resources.resource_filename('z3', 'lib'),
++                 sysconfig.get_config_var('LIBDIR'),
+                  os.path.join(sys.prefix, 'lib'),
+                  None]
+ _all_dirs = []

z3-uninit.patch

@@ -0,0 +1,10 @@
+--- z3-z3-4.11.2/src/sat/sat_lookahead.cpp.orig	2022-09-03 16:47:12.000000000 -0600
++++ z3-z3-4.11.2/src/sat/sat_lookahead.cpp	2023-01-06 15:09:19.198322817 -0700
+@@ -1001,6 +1001,7 @@ namespace sat {
+         m_inconsistent = false;
+         m_qhead = 0;
+         m_bstamp_id = 0;
++        m_istamp_id = 0;
+ 
+         for (unsigned i = 0; i < m_num_vars; ++i) {
+             init_var(i);

z3.spec

@@ -1,26 +1,24 @@
-# TODO: A Julia interface is now available, but requires
+# Do not embed bad package note paths in the OCaml files.
-# https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently
+%undefine _package_note_flags
-# available in Fedora.
-
-# TODO: A JavaScript interface is now available.  Given the generally poor
-# state of JavaScript in Fedora, I do not plan to add a subpackage for it
-# unless somebody is really, really persuasive and available to help fix it
-# if it breaks.
 
 # Tests are off by default because some of the tests require more memory than
 # the koji builders have available.
 %bcond_with test
 
 Name:           z3
-Version:        4.12.4
+Version:        4.8.17
-Release:        4%{?dist}
+Release:        2%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
 URL:            https://github.com/Z3Prover/z3
 Source0:        https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz
-# Do not try to build or install native OCaml artifacts on bytecode-only arches
+# Change the way python finds the shared object; see bz 1910923
-Patch0:         %{name}-ocaml.patch
+Patch0:         %{name}-python.patch
+ # Fix use of an uninitialized variable
+Patch1:         %{name}-uninit.patch
+# Fix a data race that can cause a segfault; see bz 2157972
+Patch2:         %{name}-data-race.patch
 
 BuildRequires:  cmake
 BuildRequires:  doxygen
@@ -28,18 +26,14 @@ BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
 BuildRequires:  graphviz
 BuildRequires:  help2man
-%ifarch %{java_arches}
 BuildRequires:  java-devel
 BuildRequires:  javapackages-tools
-%endif
 BuildRequires:  make
 BuildRequires:  ninja-build
-%ifnarch %{ix86}
 BuildRequires:  ocaml
 BuildRequires:  ocaml-findlib
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-zarith-devel
-%endif
 BuildRequires:  python3-devel
 BuildRequires:  %{py3_dist setuptools}
 
@@ -54,55 +48,17 @@ uninterpreted functions, and quantifiers.
 %package libs
 Summary:        Library for applications that use z3 functionality
 
-# This can be removed when F40 reaches EOL
-%ifnarch %{java_arches}
-Obsoletes:      java-z3 < 4.8.17-5
-%endif
-
 %description libs
 Library for applications that use z3 functionality.
 
 %package devel
 Summary:        Header files for build applications that use z3
-Requires:       z3-libs%{?_isa} = %{version}-%{release}
+Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
 %description devel
 Header files for build applications that use z3.
 
 %package doc
-# The content is MIT.
-# Two files in examples are GPL-3.0-or-later WITH Bison-exception 2.2:
-# examples/tptp/tptp5.tab.c
-# examples/tptp/tptp5.tab.c
-# Other licenses are due to files installed by doxygen.
-# html/bc_s.png: GPL-1.0-or-later
-# html/bdwn.png: GPL-1.0-or-later
-# html/closed.png: GPL-1.0-or-later
-# html/doc.png: GPL-1.0-or-later
-# html/doxygen.css: GPL-1.0-or-later
-# html/doxygen.svg: GPL-1.0-or-later
-# html/dynsections.js: MIT
-# html/folderclosed.png: GPL-1.0-or-later
-# html/folderopen.png: GPL-1.0-or-later
-# html/jquery.js: MIT
-# html/nav_f.png: GPL-1.0-or-later
-# html/nav_g.png: GPL-1.0-or-later
-# html/nav_h.png: GPL-1.0-or-later
-# html/open.png: GPL-1.0-or-later
-# html/search/search.css: GPL-1.0-or-later
-# html/search/search.js: MIT
-# html/search/search_l.png: GPL-1.0-or-later
-# html/search/search_m.png: GPL-1.0-or-later
-# html/search/search_r.png: GPL-1.0-or-later
-# html/splitbar.png: GPL-1.0-or-later
-# html/sync_off.png: GPL-1.0-or-later
-# html/sync_on.png: GPL-1.0-or-later
-# html/tab_a.png: GPL-1.0-or-later
-# html/tab_b.png: GPL-1.0-or-later
-# html/tab_h.png: GPL-1.0-or-later
-# html/tab_s.png: GPL-1.0-or-later
-# html/tabs.css: GPL-1.0-or-later
-License:        MIT AND GPL-3.0-or-later WITH Bison-exception-2.2 AND GPL-1.0-or-later
 Summary:        API documentation for Z3
 # FIXME: this should be noarch, but we end up with different numbers of inheritance
 # graphs on different architectures.  Why?
@@ -110,49 +66,40 @@ Summary:        API documentation for Z3
 %description doc
 API documentation for Z3.
 
-%ifarch %{java_arches}
+%package -n java-%{name}
-%package -n java-z3
 Summary:        Java interface to z3
-Requires:       z3-libs%{?_isa} = %{version}-%{release}
+Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 Requires:       java
 Requires:       javapackages-tools
 
-%description -n java-z3
+%description -n java-%{name}
 Java interface to z3.
-%endif
 
-# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
+%package -n ocaml-%{name}
-%ifnarch %{ix86}
-%package -n ocaml-z3
 Summary:        Ocaml interface to z3
-Requires:       z3-libs%{?_isa} = %{version}-%{release}
+Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
 
-%description -n ocaml-z3
+%description -n ocaml-%{name}
 Ocaml interface to z3.
 
-%package -n ocaml-z3-devel
+%package -n ocaml-%{name}-devel
 Summary:        Files for building ocaml applications that use z3
-Requires:       ocaml-z3%{?_isa} = %{version}-%{release}
+Requires:       ocaml-%{name}%{?_isa} = %{version}-%{release}
 Requires:       ocaml-zarith-devel%{?_isa}
 
-%description -n ocaml-z3-devel
+%description -n ocaml-%{name}-devel
 Files for building ocaml applications that use z3.
-%endif
 
-%package -n python3-z3
+%package -n python3-%{name}
 Summary:        Python 3 interface to z3
 BuildArch:      noarch
-Requires:       z3-libs = %{version}-%{release}
+Requires:       %{name}-libs = %{version}-%{release}
 
-%description -n python3-z3
+%description -n python3-%{name}
 Python 3 interface to z3.
 
 %prep
-%autosetup -N -n %{name}-%{name}-%{version}
+%autosetup -p1 -n %{name}-%{name}-%{version}
-%ifnarch %{ocaml_native_compiler}
-%patch -P0 -p1
-%endif
-%autopatch -m 1 -p1
 
 # Enable verbose builds, use Fedora CFLAGS, preserve timestamps when installing,
 # include the entire contents of the archives in the library, link the library
@@ -161,8 +108,8 @@ sed \
   -e 's/@$(CXX)/$(CXX)/' \
   -e '/O3/d' \
   -e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \
-  -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive'/" \
+  -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive -Wl,--as-needed'/" \
-  -e '/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|' \
+  -e "/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|" \
   -e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
   -e "s/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \
   -i scripts/mk_util.py
@@ -170,23 +117,23 @@ sed \
 # Comply with the Java packaging guidelines and fill in the version for python
 majver=$(cut -d. -f-2 <<< %{version})
 sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so"),' \
-    -e "s/'so'/'so.$majver'/" \
+    -e "s/@MAJVER@/$majver/" \
     -i scripts/update_api.py
 
-# Turn off HTML timestamps for reproducible builds
+# Fix character encoding
-sed -i '/HTML_TIMESTAMP/s/YES/NO/' doc/z3api.cfg.in doc/z3code.dox
+iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
+touch -r RELEASE_NOTES RELEASE_NOTES.utf8
+mv -f RELEASE_NOTES.utf8 RELEASE_NOTES
 
 %build
-export LANG=C.UTF-8
+export LANG="C.UTF-8"
-export PYTHON=%{python3}
+export PYTHON="%{python3}"
 
 %cmake -G Ninja \
-  -DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/z3 \
+  -DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/%{name} \
   -DCMAKE_JAVA_COMPILE_FLAGS="-source;1.8;-target;1.8" \
   -DZ3_BUILD_DOCUMENTATION:BOOL=ON \
-%ifarch %{java_arches}
   -DZ3_BUILD_JAVA_BINDINGS:BOOL=ON \
-%endif
   -DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON \
   -DZ3_INCLUDE_GIT_HASH:BOOL=OFF \
   -DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF \
@@ -194,7 +141,6 @@ export PYTHON=%{python3}
 
 %cmake_build
 
-%ifnarch %{ix86}
 # The cmake build system does not build the OCaml interface.  Do that manually.
 #
 # First, run the configure script to generate several files.
@@ -211,7 +157,6 @@ sed -i '/^api/s/ libz3\$(SO_EXT)//g' build/Makefile
 
 # Fourth, build the OCaml interface
 %make_build -C build ml
-%endif
 
 %install
 export LANG="C.UTF-8"
@@ -219,37 +164,27 @@ export LANG="C.UTF-8"
 # Install the C++, python3, and Java interfaces
 %cmake_install
 
-%ifarch %{java_arches}
 # Move the Java interface to its correct location
-mkdir -p %{buildroot}%{_libdir}/z3
+mkdir -p %{buildroot}%{_libdir}/%{name}
 mkdir -p %{buildroot}%{_jnidir}
 mv %{buildroot}%{_javadir}/*.jar %{buildroot}%{_jnidir}
-ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/z3
+ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/%{name}
-mv %{buildroot}%{_libdir}/libz3java.so %{buildroot}%{_libdir}/z3
+mv %{buildroot}%{_libdir}/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
-%endif
 
-%ifnarch %{ix86}
 # Install the OCaml interface
-cd build/api/ml
+pushd build/api/ml
-mkdir -p %{buildroot}%{ocamldir}/Z3
+mkdir -p %{buildroot}%{_libdir}/ocaml/Z3
-%ifarch %{ocaml_native_compiler}
+cp -p META *.{a,cma,cmi,cmx,cmxa,cmxs,mli} %{buildroot}%{_libdir}/ocaml/Z3
-cp -p *.cmx{,a,s} %{buildroot}%{ocamldir}/Z3
+mkdir -p %{buildroot}%{_libdir}/ocaml/stublibs
-%endif
+cp -p *.so %{buildroot}%{_libdir}/ocaml/stublibs
-cp -p META *.{a,cma,cmi,mli} %{buildroot}%{ocamldir}/Z3
+popd
-mkdir -p %{buildroot}%{ocamldir}/stublibs
-cp -p *.so %{buildroot}%{ocamldir}/stublibs
-cd -
-%endif
 
 # We handle the documentation files below
 rm -rf %{buildroot}%{_docdir}/Z3
 
 # Make a man page
 mkdir -p %{buildroot}%{_mandir}/man1
-help2man -N -o %{buildroot}%{_mandir}/man1/z3.1 %{_vpath_builddir}/z3
+help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
-
-# Fix the pkgconfig file
-sed -i 's,//usr,,' %{buildroot}%{_libdir}/pkgconfig/z3.pc
 
 %if %{with test}
 %check
@@ -261,137 +196,50 @@ cd -
 %endif
 
 %files
-%doc README.md RELEASE_NOTES.md
+%doc README.md RELEASE_NOTES
-%{_bindir}/z3
+%{_bindir}/%{name}
-%{_mandir}/man1/z3.1*
+%{_mandir}/man1/%{name}.1*
 
 %files libs
 %license LICENSE.txt
-%{_libdir}/libz3.so.4.12*
+%{_libdir}/lib%{name}.so.4*
 
 %files devel
-%{_includedir}/z3/
+%{_includedir}/%{name}/
-%{_libdir}/libz3.so
+%{_libdir}/lib%{name}.so
-%{_libdir}/cmake/z3/
+%{_libdir}/cmake/%{name}/
-%{_libdir}/pkgconfig/z3.pc
+%{_libdir}/pkgconfig/%{name}.pc
 
 %files doc
 %doc %{_vpath_builddir}/doc/api/html examples
 %license LICENSE.txt
 
-%ifarch %{java_arches}
+%files -n java-%{name}
-%files -n java-z3
+%{_libdir}/%{name}/
-%{_libdir}/z3/
 %{_jnidir}/com.microsoft.z3*jar
-%endif
 
-%ifnarch %{ix86}
+%files -n ocaml-%{name}
-%files -n ocaml-z3
+%dir %{_libdir}/ocaml/Z3/
-%dir %{ocamldir}/Z3/
+%{_libdir}/ocaml/Z3/META
-%{ocamldir}/Z3/META
+%{_libdir}/ocaml/Z3/*.cma
-%{ocamldir}/Z3/*.cma
+%{_libdir}/ocaml/Z3/*.cmi
-%{ocamldir}/Z3/*.cmi
+%{_libdir}/ocaml/Z3/*.cmxs
-%ifarch %{ocaml_native_compiler}
+%{_libdir}/ocaml/stublibs/*.so
-%{ocamldir}/Z3/*.cmxs
-%endif
-%{ocamldir}/stublibs/*.so
 
-%files -n ocaml-z3-devel
+%files -n ocaml-%{name}-devel
-%{ocamldir}/Z3/*.a
+%{_libdir}/ocaml/Z3/*.a
-%ifarch %{ocaml_native_compiler}
+%{_libdir}/ocaml/Z3/*.cmx
-%{ocamldir}/Z3/*.cmx
+%{_libdir}/ocaml/Z3/*.cmxa
-%{ocamldir}/Z3/*.cmxa
+%{_libdir}/ocaml/Z3/*.mli
-%endif
-%{ocamldir}/Z3/*.mli
-%endif
 
-%files -n python3-z3
+%files -n python3-%{name}
-%{python3_sitelib}/z3/
+%{python3_sitelib}/%{name}/
 
 %changelog
-* Thu Dec 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-4
+* Mon Jan  9 2023 Jerry James <loganjerry@gmail.com> - 4.8.17-2
-- Fix python package library load name (bz 2255464)
-
-* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-3
-- OCaml 5.1.1 + s390x code gen fix for Fedora 40
-
-* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-2
-- OCaml 5.1.1 rebuild for Fedora 40
-
-* Sat Dec  9 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-1
-- Version 4.12.4
-- Drop upstreamed patches: python, stdint, escapes
-
-* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-7
-- OCaml 5.1 rebuild for Fedora 40
-
-* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-6
-- Rebuild for ocaml-zarith 1.13
-
-* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.2-5
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
-
-* Fri Jul 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-4
-- Exclude the OCaml and Java subpackages only on i386
-
-* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-4
-- OCaml 5.0 rebuild for Fedora 39
-
-* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-3
-- OCaml 5.0.0 rebuild
-
-* Thu Jun 15 2023 Python Maint <python-maint@redhat.com> - 4.12.2-2
-- Rebuilt for Python 3.12
-
-* Mon May 15 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-1
-- Version 4.12.2
-
-* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.1-2
-- Rebuild OCaml packages for F38
-
-* Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.1-1
-- Version 4.12.1
-
-* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.0-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
-
-* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 4.12.0-1
-- Version 4.12.0
-- Drop upstreamed -data-race and -uninit patches
-
-* Sun Jan  8 2023 Jerry James <loganjerry@gmail.com> - 4.11.2-2
 - Add -data-race patch to fix segfault (bz 2157972)
 - Add -uninit patch to fix use of an uninitialized value
 
-* Wed Dec 14 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
-- Further clarify license of the doc subpackage (SPDX)
-
-* Sun Sep  4 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
-- Version 4.11.2
-
-* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
-- Version 4.11.0
-- Clarify license of the doc subpackage
-
-* Mon Aug  8 2022 Jerry James <loganjerry@gmail.com> - 4.10.2-1
-- Version 4.10.2
-
-* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.17-6
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
-
-* Tue Jun 28 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-5
-- Do not support Java on i686 (rhbz#2104112)
-- Use new OCaml macros
-
-* Mon Jun 20 2022 Python Maint <python-maint@redhat.com> - 4.8.17-4
-- Rebuilt for Python 3.11
-
-* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.17-3
-- OCaml 4.14.0 rebuild
-
-* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 4.8.17-2
-- Rebuilt for Python 3.11
-
 * Mon May 16 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-1
 - Version 4.8.17
 - Drop upstreamed -ambiguous-overload patch