Changelog for why-coq-2.14-2.fc10.x86_64.rpm :
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.