Changelog for frama-c-1.4-6.fc12.i686.rpm :
Sat Jul 31 14:00:00 2010 Mark Rader 1.4-6
- Modified the gui file and directory to correct potential ownership problem.

Sun Jul 18 14:00:00 2010 Mark Rader 1.4-5
- Modified comments to patch 1 in spec file
- Corrected SELinux context settings

Mon Jul 5 14:00:00 2010 Mark Rader 1.4-4
- Modified spec file to add new OCAML dependency structure for FC-13

Sun Jun 6 14:00:00 2010 Mark Rader 1.4-3
- Added documentation to explain the various licensing entries.
- Added .desktop file

Mon May 24 14:00:00 2010 Mark Rader 1.4-2
- Add SELinux context settings.

Wed Feb 10 13:00:00 2010 Alan Dunn 1.4-1
- Initial Fedora RPM