Changelog for why3-emacs-1.2.0-5.fc31.noarch.rpm :

* 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.
* Mon Feb 12 2018 Jerry James - 0.88.3-1- New upstream release
* Fri Feb 09 2018 Fedora Release Engineering - 0.88.2-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sat Dec 09 2017 Jerry James - 0.88.2-1- New upstream release
* Fri Nov 17 2017 Richard W.M. Jones - 0.88.1-1- New upstream version 0.88.1.- OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James - 0.88.0-1- New usptream release
* Thu Oct 05 2017 Jerry James - 0.87.3-12- Rebuild for flocq 2.6.0