Changelog for prooftree-debuginfo-0.13-23.fc38.x86_64.rpm :

* Tue Jan 24 2023 Richard W.M. Jones - 0.13-23- Rebuild OCaml packages for F38
* Fri Jan 20 2023 Fedora Release Engineering - 0.13-22- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Dec 12 2022 Jerry James - 0.13-21- Convert License tag to SPDX
* Fri Jul 22 2022 Fedora Release Engineering - 0.13-21- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Jun 18 2022 Richard W.M. Jones - 0.13-20- OCaml 4.14.0 rebuild
* Fri Feb 04 2022 Richard W.M. Jones - 0.13-19- OCaml 4.13.1 rebuild to remove package notes
* Fri Jan 21 2022 Fedora Release Engineering - 0.13-18- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Oct 04 2021 Richard W.M. Jones - 0.13-17- OCaml 4.13.1 build
* Fri Jul 23 2021 Fedora Release Engineering - 0.13-16- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jun 22 2021 Jerry James - 0.13-15- Rebuild for ocaml-lablgtk without gnomeui
* Mon Mar 01 2021 Richard W.M. Jones - 0.13-14- OCaml 4.12.0 build
* Wed Jan 27 2021 Fedora Release Engineering - 0.13-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild