Changelog for why3-xemacs-1.2.1-3.fc31.noarch.rpm :

* Sun Apr 12 2020 Jerry James - 1.2.1-3- Make the dependency on ocaml-num explicit (bz 1795083)
* Fri Apr 10 2020 Jerry James - 1.2.1-2- Rebuild without zip support; otherwise frama-c cannot start
* 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.