Changelog for ocaml-psmt2-frontend-docs-0.4.0-7.fc38.x86_64.rpm :

* 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
* Mon Jul 19 2021 Jerry James - 0.1-9- Move META to the main package
* Mon Mar 29 2021 Jerry James - 0.1-9- Add -autoconf patch for autoconf 2.71 (bz 1943044)
* Tue Mar 02 2021 Richard W.M. Jones - 0.1-8- OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering - 0.1-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild