Changelog for ocaml-psmt2-frontend-debugsource-0.4.0-11.fc39.x86_64.rpm :

* Thu Jul 20 2023 Fedora Release Engineering - 0.4.0-11- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones - 0.4.0-10- OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James - 0.4.0-9- OCaml 5.0.0 rebuild
* Tue Mar 21 2023 Jerry James - 0.4.0-8- Add patch for Sphinx 6.x compatibility (rhbz#2180496)
* Tue Jan 24 2023 Richard W.M. Jones - 0.4.0-7- Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering - 0.4.0-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Dec 12 2022 Jerry James - 0.4.0-5- New URL- Convert License tag to SPDX
* Fri Jul 22 2022 Fedora Release Engineering - 0.4.0-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jul 21 2022 Jerry James - 0.4.0-4- Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones - 0.4.0-4- OCaml 4.14.0 rebuild
* Fri Feb 04 2022 Richard W.M. Jones - 0.4.0-3- OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering - 0.4.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James - 0.4.0-1- Version 0.4.0- Drop obsolete -autoconf patch- Add %check script- Add -docs subpackage
* Tue Oct 05 2021 Richard W.M. Jones - 0.1-11- OCaml 4.13.1 build
* Thu Jul 22 2021 Fedora Release Engineering - 0.1-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild