Changelog for
why-gwhy-2.17-2.fc11.i586.rpm :
Wed Feb 25 23:00:00 2009 Fedora Release Engineering
- 2.17-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
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.