91f4bb Update to Carbon version.

Authored and Committed by jjames 8 years ago
    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.
file modified
+1 -7
file added
frama-c-1.6.licensing frama-c-1.5.licensing
file renamed
+2 -1
file modified
+143 -65
file modified
+1 -1