Changelog for why3-xemacs-1.1.1-2.fc30.noarch.rpm :

* 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
* Wed Sep 06 2017 Richard W.M. Jones - 0.87.3-11- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering - 0.87.3-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering - 0.87.3-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-8- Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-7- Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-6- Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones - 0.87.3-5- OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones - 0.87.3-4- OCaml 4.04.1 rebuild.
* Fri Mar 24 2017 Jerry James - 0.87.3-3- Rebuild to fix coq consistency issue
* Sat Feb 11 2017 Fedora Release Engineering - 0.87.3-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild