Changelog for why-gwhy-2.34-18.fc22.i686.rpm :
Mon Apr 13 14:00:00 2015 Jerry James - 2.34-18
- Rebuild for coq 8.4pl6

Thu Mar 19 13:00:00 2015 Jerry James - 2.34-17
- Add -ocamlgraph186 patch to adapt to ocamlgraph 1.8.6

Sat Nov 15 13:00:00 2014 Jerry James - 2.34-16
- Fix gwhy-2.33.patch (bz 1164470)

Thu Nov 13 13:00:00 2014 Richard W.M. Jones - 2.34-15
- Bump and rebuild for broken dependencies.

Thu Oct 30 13:00:00 2014 Jerry James - 2.34-14
- Rebuild for coq 8.4pl5

Thu Sep 18 14:00:00 2014 Jerry James - 2.34-13
- Rebuild for why3 0.85

Mon Sep 8 14:00:00 2014 Jerry James - 2.34-12
- Rebuild for fixed frama-c
- Fix license handling

Tue Sep 2 14:00:00 2014 Jerry James - 2.34-11
- Rebuild for the final ocaml 4.02.0 release

Mon Aug 25 14:00:00 2014 Jerry James - 2.34-10
- ocaml-4.02.0+rc1 rebuild.

Mon Aug 18 14:00:00 2014 Fedora Release Engineering - 2.34-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Mon Aug 4 14:00:00 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 14:00:00 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 8 14:00:00 2014 Fedora Release Engineering - 2.34-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue May 13 14:00:00 2014 Jerry James - 2.34-5
- Rebuild for coq 8.4pl4

Mon Apr 21 14:00:00 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 14:00:00 2014 Richard W.M. Jones - 2.34-3
- Remove ocaml_arches macro (RHBZ#1087794).

Mon Mar 24 13:00:00 2014 Jerry James - 2.34-2
- Remove dropped patches
- Add icons
- Fix the desktop icon entries

Tue Mar 18 13:00:00 2014 Jerry James - 2.34-1
- New upstream release
- Drop upstreamed -hashtbl, -flocq, and -or patches
- Add ocaml-findlib BR

Wed Feb 26 13:00:00 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 14:00:00 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 14:00:00 2013 Ville Skyttä - 2.33-4
- Install docs to %{_pkgdocdir} where available.

Fri Jun 21 14:00:00 2013 Jerry James - 2.33-3
- Rebuild for frama-c Fluorine 20130601

Thu May 23 14:00:00 2013 Jerry James - 2.33-2
- Rebuild for new frama-c and why3 builds

Tue May 14 14:00:00 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 9 13:00:00 2013 Parag Nemade - 2.31-7
- Remove vendor tag from desktop file as per https://fedorahosted.org/fesco/ticket/1077

Mon Jan 14 13:00:00 2013 Jerry James - 2.31-6
- Rebuild for alt-ergo 0.95

Mon Jan 7 13:00:00 2013 Jerry James - 2.31-5
- Rebuild for coq 8.4pl1

Fri Oct 19 14:00:00 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 14:00:00 2012 Jerry James - 2.31-3
- Rebuild for new frama-c build with altered API.

Mon Aug 27 14:00:00 2012 Jerry James - 2.31-2
- Frama-c is fixed; rebuild with the Jessie plugin enabled and functioning

Thu Aug 23 14:00:00 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 14:00:00 2012 Richard W.M. Jones - 2.30-7
- Rebuild for OCaml 4.00.0 official.

Sun Jul 22 14:00:00 2012 Fedora Release Engineering - 2.30-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Wed Jan 11 13:00:00 2012 Jerry James - 2.30-5
- Patch to work with flocq 2.0.0

Tue Dec 27 13:00:00 2011 Jerry James - 2.30-4
- Rebuild for coq 8.3pl3

Tue Dec 6 13:00:00 2011 Jerry James - 2.30-3
- Update alt_ergo and yices \"okay\" version numbers

Wed Nov 23 13:00:00 2011 Jerry James - 2.30-2
- Rebuild with APRON and gappalib-coq support

Fri Oct 28 14:00:00 2011 Jerry James - 2.30-1
- New upstream release

Thu Jul 14 14:00:00 2011 Jerry James - 2.29-2
- Fix broken conditionals

Mon Jul 11 14:00:00 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 14:00:00 2011 Karsten Hopp 2.28-2.2
- add ppc to excludearch, too. No pvs-sbcl available there

Wed Apr 13 14:00:00 2011 Karsten Hopp 2.28-2.1
- add ppc64 to excludearch, no sbcl available there

Mon Feb 7 13:00:00 2011 Fedora Release Engineering - 2.28-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Fri Jan 21 13:00:00 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 13:00:00 2011 Richard W.M. Jones - 2.26-2
- Bump and rebuild for OCaml 3.12.

Sat Oct 9 14:00:00 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 13:00:00 2010 Richard W.M. Jones - 2.23-2
- Rebuild to fix dependencies.

Fri Jan 8 13:00:00 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 14:00:00 2009 Dennis Gilmore - 2.17-5
- Exclude sparc64 s390 s390x there is no ocaml there

Fri Aug 7 14:00:00 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 14:00:00 2009 Fedora Release Engineering - 2.17-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Wed Feb 25 13:00:00 2009 Fedora Release Engineering - 2.17-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Wed Dec 24 13:00:00 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 5 14:00:00 2008 Alan Dunn 2.14-2.1
- ExcludeArch ppc64 on Fedora 8 due to no ocaml.

Fri Aug 1 14:00:00 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 14:00:00 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 14:00:00 2008 Alan Dunn 2.13-2
- Added several patches: fixed Zenon output, completed fix of rename
of cpulimit -> why-cpulimit.

Wed Jul 23 14:00:00 2008 Alan Dunn 2.13-1
- Initial Fedora RPM version.