Changelog for why-coq-2.17-5.fc12.x86_64.rpm :
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.