new file:   frama-c-1.5.licensing
    	new file:   frama-c-gui.desktop
    	deleted:    frama-c-1.4-fix-ocamlgraph-detection.patch
    	deleted:    frama-c-1.4-licensing
    	deleted:    frama-c-1.4-ptests-fix-for-ocaml-3.11.2.patch
    	deleted:    frama-c-Fix-weak-pattern-matching-in-dynlink_lower_311_byte.patch
    	deleted:    frama-c.desktop
    	modified:   frama-c.spec
    	modified:   sources