Changelog for why-coq-2.17-1.fc9.x86_64.rpm :
Wed Dec 24 23: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)

Wed Aug 6 00:00:00 2008 Alan Dunn 2.14-2.1
- ExcludeArch ppc64 on Fedora 8 due to no ocaml.

Sat Aug 2 00: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).

Thu Jul 31 00: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.

Fri Jul 25 00:00:00 2008 Alan Dunn 2.13-2
- Added several patches: fixed Zenon output, completed fix of rename
of cpulimit -> why-cpulimit.

Thu Jul 24 00:00:00 2008 Alan Dunn 2.13-1
- Initial Fedora RPM version.