Changelog for why-pvs-support-2.40-1.fc28.x86_64.rpm :

* Mon Feb 12 2018 Jerry James - 2.40-1- New upstream release- Add -num patch to fix incomplete num to zarith conversion
* Fri Feb 09 2018 Fedora Release Engineering - 2.39-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko - 2.39-4- Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James - 2.39-3- Bring back the -project patch, still needed (bz 1520483)- Add the -safe-string patch for building with ocaml 4.06.0- Build the Jessie plugin with -runtime-variant _pic
* Sat Dec 02 2017 Richard W.M. Jones - 2.39-3- OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James - 2.39-2- Rebuild for why3 0.88.0
* Thu Sep 07 2017 Jerry James - 2.39-1- New upstream release
* Wed Sep 06 2017 Richard W.M. Jones - 2.38-6- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering - 2.38-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering - 2.38-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Jul 01 2017 Richard W.M. Jones - 2.38-3- Rebuild for OCaml 4.04.2.
* Mon May 15 2017 Richard W.M. Jones - 2.38-2- Rebuild for OCaml 4.04.1.
* Fri Mar 24 2017 Jerry James - 2.38-1- New upstream release
* Sat Feb 11 2017 Fedora Release Engineering - 2.36-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James - 2.36-1- New upstream release
* Wed Nov 30 2016 Jerry James - 2.35-23- Rebuild for gappalib-coq 1.3.2
* Sun Nov 06 2016 Richard W.M. Jones - 2.35-21- Rebuild for OCaml 4.04.0.- Modify configure script to allow building with OCaml 4.04.- Modify configure script to use octMPQ library (part of Apron).
* Fri Oct 28 2016 Jerry James - 2.35-20- Rebuild for coq 8.5pl3- Remove obsolete scriptlets
* Thu Sep 29 2016 Jerry James - 2.35-19- Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1
* Fri Sep 02 2016 Jerry James - 2.35-18- Rebuild for why3 0.87.2
* Fri Jul 22 2016 Jerry James - 2.35-17- Rebuild for apron 0.9.11 and gappalib-coq 1.3.0
* Wed Jul 13 2016 Jerry James - 2.35-16- Rebuild for coq 8.5pl2
* Wed Jun 01 2016 Jerry James - 2.35-15- Rebuild for why3 0.87.1 and Frama-C Aluminium
* Fri Apr 22 2016 Jerry James - 2.35-14- Rebuild for coq 8.5pl1
* Sat Apr 16 2016 Jerry James - 2.35-13- Rebuild for ocaml-ocamlgraph 1.8.7
* Fri Mar 18 2016 Jerry James - 2.35-12- Rebuild for why3 0.87.0
* Fri Feb 12 2016 Jerry James - 2.35-11- Rebuild for coq 8.5, flocq 2.5.1, gappalib-coq 1.2.1, why3 0.86.3, and Frama-C Magnesium- Use camlp4 in preference to camlp5- Drop cvc3 support- Update appdata for latest specification
* Fri Feb 05 2016 Fedora Release Engineering - 2.35-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Oct 14 2015 Jerry James - 2.35-9- Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2
* Thu Jul 30 2015 Richard W.M. Jones - 2.35-8- OCaml 4.02.3 rebuild.
* Mon Jun 22 2015 Jerry James - 2.35-7- Rebuild for why3 0.86.1
* Fri Jun 19 2015 Richard W.M. Jones - 2.35-6- Rebuild for ocaml-4.02.2.
* Fri Jun 19 2015 Fedora Release Engineering - 2.35-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 16 2015 Jerry James - 2.35-4- Rebuild for why3 0.86
* Mon Apr 13 2015 Jerry James - 2.35-3- Rebuild for coq 8.4pl6
* Wed Apr 01 2015 Jerry James - 2.35-2- Adjust requires filter
* Tue Mar 31 2015 Jerry James - 2.35-1- New upstream release- Drop upstreamed -flocq24 and -frama-c-sodium patches- Drop all gwhy-related sources, as gwhy has been retired- Merge (X)Emacs files into the main package due to change in policy
* Thu Mar 19 2015 Jerry James - 2.34-18- Rebuild for Frama-C Sodium- Add -ocamlgraph186 patch to adapt to ocamlgraph 1.8.6- Add -frama-c-sodium patch to adapt to Frama-C Sodium
* Thu Feb 19 2015 Richard W.M. Jones - 2.34-17- ocaml-4.02.1 rebuild.
* Sat Nov 15 2014 Jerry James - 2.34-16- Fix gwhy-2.33.patch (bz 1164470)
* Thu Nov 13 2014 Richard W.M. Jones - 2.34-15- Bump and rebuild for broken dependencies.
* Thu Oct 30 2014 Jerry James - 2.34-14- Rebuild for coq 8.4pl5
* Thu Sep 18 2014 Jerry James - 2.34-13- Rebuild for why3 0.85
* Mon Sep 08 2014 Jerry James - 2.34-12- Rebuild for fixed frama-c- Fix license handling
* Tue Sep 02 2014 Jerry James - 2.34-11- Rebuild for the final ocaml 4.02.0 release
* Mon Aug 25 2014 Jerry James - 2.34-10- ocaml-4.02.0+rc1 rebuild.
* Mon Aug 18 2014 Fedora Release Engineering - 2.34-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Aug 04 2014 Jerry James - 2.34-8- OCaml 4.02.0 beta rebuild- BR emacs instead of emacs-nox, which no longer exists
* Tue Jun 24 2014 Jerry James - 2.34-7- Omit \"-z now\" when building with relro (bz 1105265)- Resolve a conflict between Frama-C and why modules both named \"Project\"
* Sun Jun 08 2014 Fedora Release Engineering - 2.34-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 2.34-5- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James - 2.34-4- Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0- Drop has_coq macro, since coq is now universally available- Add -flocq23 patch to adapt to flocq 2.3.0
* Tue Apr 15 2014 Richard W.M. Jones - 2.34-3- Remove ocaml_arches macro (RHBZ#1087794).
* Mon Mar 24 2014 Jerry James - 2.34-2- Remove dropped patches- Add icons- Fix the desktop icon entries
* Tue Mar 18 2014 Jerry James - 2.34-1- New upstream release- Drop upstreamed -hashtbl, -flocq, and -or patches- Add ocaml-findlib BR
* Wed Feb 26 2014 Jerry James - 2.33-6- Rebuild for ocamlgraph 1.8.4- Update desktop files- Add AppData files for gwhy and jessie
* Tue Sep 17 2013 Jerry James - 2.33-5- Rebuild for OCaml 4.01.0- Enable debuginfo- Add -or patch to fix warnings, since warnings are errors
* Sat Jul 27 2013 Ville Skyttä - 2.33-4- Install docs to %{_pkgdocdir} where available.
* Fri Jun 21 2013 Jerry James - 2.33-3- Rebuild for frama-c Fluorine 20130601
* Thu May 23 2013 Jerry James - 2.33-2- Rebuild for new frama-c and why3 builds
* Tue May 14 2013 Jerry James - 2.33-1- New upstream release- Drop upstreamed -warning, -coq84, and -ocaml4 patches- Add -hashtbl patch- Enable Jessie plugin again
* Sat Feb 09 2013 Parag Nemade - 2.31-7- Remove vendor tag from desktop file as per https://fedorahosted.org/fesco/ticket/1077
* Mon Jan 14 2013 Jerry James - 2.31-6- Rebuild for alt-ergo 0.95
* Mon Jan 07 2013 Jerry James - 2.31-5- Rebuild for coq 8.4pl1
* Fri Oct 19 2012 Jerry James - 2.31-4- Rebuild for OCaml 4.00.1 and frama-c Oxygen- Recripple the Jessie plugin until it works with frama-c Oxygen
* Tue Sep 11 2012 Jerry James - 2.31-3- Rebuild for new frama-c build with altered API.
* Mon Aug 27 2012 Jerry James - 2.31-2- Frama-c is fixed; rebuild with the Jessie plugin enabled and functioning
* Thu Aug 23 2012 Jerry James - 2.31-1- New upstream version- Drop upstreamed patches- Add ocaml-mlgmpidl-devel and why3 BRs- Add -warning, -ocaml4, and -coq84 patches to fix the build- Cripple the Jessie plugin until problems with frama-c and hashtables are fixed
* Mon Jul 30 2012 Richard W.M. Jones - 2.30-7- Rebuild for OCaml 4.00.0 official.
* Sun Jul 22 2012 Fedora Release Engineering - 2.30-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Wed Jan 11 2012 Jerry James - 2.30-5- Patch to work with flocq 2.0.0
* Tue Dec 27 2011 Jerry James - 2.30-4- Rebuild for coq 8.3pl3
* Tue Dec 06 2011 Jerry James - 2.30-3- Update alt_ergo and yices \"okay\" version numbers
* Wed Nov 23 2011 Jerry James - 2.30-2- Rebuild with APRON and gappalib-coq support
* Fri Oct 28 2011 Jerry James - 2.30-1- New upstream release
* Thu Jul 14 2011 Jerry James - 2.29-2- Fix broken conditionals
* Mon Jul 11 2011 Jerry James - 2.29-1- New upstream release (fixes FTBFS: bz 715902)- Remove unnecessary spec file elements (BuildRoot, etc.)- Update approach to filtering provides and requires- Add has_pvs analogously to has_coq, and simplify macro usage- Add (X)Emacs support packages- New subpackage for the jessie plugin to avoid unowned directories and permit a direct dependency on frama-c- Prepare for the eventual availability of APRON
* Thu Apr 14 2011 Karsten Hopp 2.28-2.2- add ppc to excludearch, too. No pvs-sbcl available there
* Wed Apr 13 2011 Karsten Hopp 2.28-2.1- add ppc64 to excludearch, no sbcl available there
* Mon Feb 07 2011 Fedora Release Engineering - 2.28-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Fri Jan 21 2011 Richard W.M. Jones - 2.28-1- Since 2.26 FTBFS, try latest upstream (2.28).- Rebase Makefile.in patch.- Fix(?) test result.- No libdir/frama-c directory is created any more.
* Fri Jan 21 2011 Richard W.M. Jones - 2.26-2- Bump and rebuild for OCaml 3.12.
* Sat Oct 09 2010 David A. Wheeler + Mark Rader - 2.26-1- Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf)- Integrated with Frama-C and PVS (as pvs-sbcl)
* Mon Jan 11 2010 Richard W.M. Jones - 2.23-2- Rebuild to fix dependencies.
* Fri Jan 08 2010 Alan Dunn - 2.23-1- Upgrade to upstream version 2.23- Move execstack fixing to spec file from patch- Moved patch descriptions to initial patch declaration as in examples in Fedora documentation- New Caduceus, Krakatoa documentation- Update test result from small test min.mlw- Added CVC3 interfacing capabilities- Removed patch for gwhy configuration, as there is a new mechanism for this
* Tue Sep 22 2009 Dennis Gilmore - 2.17-5- Exclude sparc64 s390 s390x there is no ocaml there
* Fri Aug 07 2009 Alan Dunn - 2.17-4- Removed now irrelevant check for no OCaml in Fedora < 9 (those distributions are EOL)- Changed ExcludeArch to proper Fedora versions- Builds coq subpackage exactly when Coq can be built, thus making build independent of whether Coq can be built- define -> global- Fixed accidental use of in tar ocamlgraph instead of one that is separately packaged
* Mon Jul 27 2009 Fedora Release Engineering - 2.17-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Wed Feb 25 2009 Fedora Release Engineering - 2.17-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Wed Dec 24 2008 Alan Dunn 2.17-1- Upgrade to version 2.17 (bz: 477790)- Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016)- Minor filename change in 2.17 (GPL -> LICENSE)- Added back Coq .v files to match policy for Coq- Changed directory structure re: jessie and krakatoa to match new structure in 2.17- Minor changes to patches to ensure they still work in 2.17- Corrected package location gwhy-icon.png (should only be in gwhy)
* Tue Aug 05 2008 Alan Dunn 2.14-2.1- ExcludeArch ppc64 on Fedora 8 due to no ocaml.
* Fri Aug 01 2008 Alan Dunn 2.14-2- Fixed minor issues in response to package review:- Inclusion of COPYING, GPL license-related files- Added config.mll patch to make default config file created nicer- Changes subpackage dependencies to be fully versioned.- Makes during build allowed to be noisy (allowed to print).
* Wed Jul 30 2008 Alan Dunn 2.14-1- Changed to new version of why, removed previous why-cpulimit name change, zenon output format patches as the issues were fixed in why 2.14.- Moved doc subpackage back into main package.- Added example files to documentation subpackage.- Added check section with test on small why file.- Reformatted some macro names for greater readability.
* Thu Jul 24 2008 Alan Dunn 2.13-2- Added several patches: fixed Zenon output, completed fix of rename of cpulimit -> why-cpulimit.
* Wed Jul 23 2008 Alan Dunn 2.13-1- Initial Fedora RPM version.