Changelog for why3-proofgeneral-1.3.1-1.fc32.noarch.rpm :

* Wed Mar 25 2020 Jerry James - 1.3.1-1- Version 1.3.1
* Fri Jan 31 2020 Fedora Release Engineering - 1.2.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Jerry James - 1.2.1-3- OCaml 4.10.0+beta1 rebuild.
* Fri Dec 06 2019 Richard W.M. Jones - 1.2.1-2- OCaml 4.09.0 (final) rebuild.
* Tue Oct 29 2019 Jerry James - 1.2.1-1- New upstream release- Add -proofgeneral subpackage- Add desktop and AppData files
* Fri Oct 11 2019 Jerry James - 1.2.0-6- Rebuild for ocaml-menhir 20190924
* Fri Sep 06 2019 Jerry James - 1.2.0-5- Rebuild for ocaml-zarith 1.9
* Thu Aug 01 2019 Jerry James - 1.2.0-4- Also install the library, for consumption by frama-c
* Thu Aug 01 2019 Jerry James - 1.2.0-3- Rebuild for flocq 3.2.0
* Sat Jul 27 2019 Fedora Release Engineering - 1.2.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James - 1.2.0-1- New upstream release
* Sun Feb 03 2019 Fedora Release Engineering - 1.1.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James - 1.1.1-1- New upstream release
* Sat Jul 14 2018 Fedora Release Engineering - 0.88.3-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Thu Jul 12 2018 Richard W.M. Jones - 0.88.3-4- OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-3- Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones - 0.88.3-2- OCaml 4.07.0-rc1 rebuild.