Changelog for prooftree-debuginfo-0.13-21.fc37.x86_64.rpm :

* 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
* Tue Sep 01 2020 Richard W.M. Jones - 0.13-12- OCaml 4.11.1 rebuild
* Sat Aug 01 2020 Fedora Release Engineering - 0.13-11- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering - 0.13-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild