Changelog for why3-xemacs-0.87.2-2.fc25.noarch.rpm :

* Thu Sep 29 2016 Jerry James - 0.87.2-2- Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1
* Fri Sep 02 2016 Jerry James - 0.87.2-1- New upstream release
* Wed Jul 13 2016 Jerry James - 0.87.1-2- Rebuild for coq 8.5pl2
* Wed Jun 01 2016 Jerry James - 0.87.1-1- New upstream release
* Fri Apr 22 2016 Jerry James - 0.87.0-3- Rebuild for coq 8.5pl1
* Sat Apr 16 2016 Jerry James - 0.87.0-2- Rebuild for ocaml-ocamlgraph 1.8.7
* Fri Mar 18 2016 Jerry James - 0.87.0-1- New upstream release- Drop boomy icon removal; upstream no longer ships them
* Fri Feb 12 2016 Jerry James - 0.86.3-1- New upstream release- Use camlp4 in preference to camlp5
* Fri Feb 05 2016 Fedora Release Engineering - 0.86.2-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Nov 25 2015 Jerry James - 0.86.2-2- Rebuild for ocaml-zarith 1.4.1 and ocaml-menhir 20151112
* Wed Oct 14 2015 Jerry James - 0.86.2-1- New upstream release- Do not ship the nonfree boomy icons
* Wed Jun 24 2015 Richard W.M. Jones - 0.86.1-2- ocaml-4.02.2 final rebuild.
* Mon Jun 22 2015 Jerry James - 0.86.1-1- New upstream release
* Wed Jun 17 2015 Richard W.M. Jones - 0.86-2- ocaml-4.02.2 rebuild.
* Sat May 16 2015 Jerry James - 0.86-1- New upstream release
* Sat Apr 11 2015 Jerry James - 0.85-9- Rebuild for coq 8.4pl6
* Wed Mar 18 2015 Jerry James - 0.85-8- Rebuild for ocaml-ocamlgraph 1.8.6
* Sat Feb 21 2015 Jerry James - 0.85-7- Note bundled jquery- Fix sed expression separators for new RPM_OPT_FLAGS and RPM_LD_FLAGS
* Wed Feb 18 2015 Richard W.M. Jones - 0.85-6- ocaml-4.02.1 rebuild.
* Thu Nov 06 2014 Jerry James - 0.85-5- Rebuild for ocaml-camlp5 6.12
* Thu Oct 30 2014 Jerry James - 0.85-4- Rebuild for coq 8.4pl5
* Tue Oct 14 2014 Jerry James - 0.85-3- Rebuild for ocaml-zarith 1.3
* Thu Sep 18 2014 Jerry James - 0.85-2- Bump and rebuild
* Wed Sep 17 2014 Jerry James - 0.85-1- New upstream release- New source URL
* Tue Sep 02 2014 Jerry James - 0.84-1- New upstream release- Fix license handling
* Mon Aug 25 2014 Jerry James - 0.83-14- Rebuild for new gappalib-coq build
* Sun Aug 24 2014 Richard W.M. Jones - 0.83-13- ocaml-4.02.0+rc1 rebuild.
* Mon Aug 18 2014 Fedora Release Engineering - 0.83-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Aug 04 2014 Jerry James - 0.83-11- Rebuild for new gappalib-coq build
* Sat Aug 02 2014 Richard W.M. Jones - 0.83-10- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Fri Aug 01 2014 Richard W.M. Jones - 0.83-9- OCaml 4.02.0 beta rebuild.
* Thu Jun 26 2014 Jerry James - 0.83-8- Linking with -z relro -z now breaks plugins; omit \"-z now\"
* Sun Jun 08 2014 Fedora Release Engineering - 0.83-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 0.83-6- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James - 0.83-5- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5- Drop unnecessary sqlite-devel BR
* Tue Apr 15 2014 Richard W.M. Jones - 0.83-4- Remove ocaml_arches macro (RHBZ#1087794).
* Mon Mar 24 2014 Jerry James - 0.83-3- Apply upstream fix for building with ocaml-zarith- Fix file encodings- Fix permission bits
* Tue Mar 18 2014 Jerry James - 0.83-2- Back out the post-release fix to the Coq printer, which breaks Frama-C
* Fri Mar 14 2014 Jerry James - 0.83-1- New upstream release- Use cvc4 instead of cvc3
* Wed Feb 26 2014 Jerry James - 0.82-2- Rebuild for ocamlgraph 1.8.4- BR ocaml-findlib instead of ocaml-findlib-devel
* Fri Dec 13 2013 Jerry James - 0.82-1- New upstream release- Drop upstreamed patches- Add -examples subpackage- Install LaTeX style- Turn off frama-c support at upstream\'s request
* Mon Sep 30 2013 Jerry James - 0.81-6- Apply upstream fix for change in the alt-ergo timelimit option
* Tue Sep 17 2013 Jerry James - 0.81-5- Rebuild for OCaml 4.01.0- Enable debuginfo for the ocaml sources
* Sun Aug 04 2013 Fedora Release Engineering - 0.81-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jun 21 2013 Jerry James - 0.81-3- Rebuild for frama-c Fluorine 20130601
* Thu May 23 2013 Jerry James - 0.81-2- Rebuild for frama-c Fluorine 20130501
* Fri May 10 2013 Jerry James - 0.81-1- New upstream release- Disable PVS support for now; it requires the NASA libraries- Fix the conflict between the why and why3 Emacs packages (bz 913522)- Disable parallel builds due to intermittent build failures
* Fri Feb 15 2013 Fedora Release Engineering - 0.73-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James - 0.73-4- Rebuild for coq 8.4pl1
* Fri Dec 14 2012 Richard W.M. Jones - 0.73-3- Rebuild for OCaml 4.00.1.
* Thu Aug 23 2012 Jerry James - 0.73-2- Rebuild for coq 8.4
* Thu Aug 02 2012 Jerry James - 0.73-1- New upstream release
* Sun Jul 22 2012 Fedora Release Engineering - 0.71-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Thu Apr 19 2012 Jerry James - 0.71-2- Add missing sqlite-devel BR- Do not move the coq plugin- Generate debuginfo for the sole C program- Add man pages
* Fri Dec 16 2011 Jerry James - 0.71-1- Initial RPM