Changelog for
frama-c-doc-1.6-1.fc15.noarch.rpm :
Mon Jul 11 14:00:00 2011 Jerry James
- 1.6-1
- Update to Carbon version
- Removed unnecessary spec file elements (BuildRoot, etc.)
- Update approach to filtering provides and requires
- Do not filter as much; why should Require some of the filtered names
- Add (X)Emacs support packages
- Add doc subpackage to hold large manual PDFs
- Support for gtksourceview 1.x has been dropped
Wed Apr 13 14:00:00 2011 Karsten Hopp 1.5-3.1
- add ppc64 to archs with ocaml
Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 1.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
Sat Jan 22 13:00:00 2011 Dan HorĂ¡k - 1.5-2
- updated the supported arch list
Wed Jul 7 14:00:00 2010 Mark Rader 1.5-1
- Upgraded Frama C to Boron version and added ltl2ba dependencies.
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