Remove unnecessary spec file elements (BuildRoot, etc.).
Update approach to filtering provides and requires.
Add has_pvs analogously to has_coq, and simplify macro usage.
Add (X)Emacs support packages.
New subpackage for the jessie plugin to avoid unowned directories and permit a
direct dependency on frama-c.
Prepare for the eventual availability of APRON.
- Move execstack fixing to spec file from patch
- Moved patch descriptions to initial patch declaration as in examples in
Fedora documentation
- New Caduceus, Krakatoa documentation
- Update test result from small test min.mlw
- Added CVC3 interfacing capabilities
- Removed patch for gwhy configuration, as there is a new mechanism for
this
distributions are EOL)
- Changed ExcludeArch to proper Fedora versions
- Builds coq subpackage exactly when Coq can be built, thus making build
independent of whether Coq can be built
- define -> global
- Fixed accidental use of in tar ocamlgraph instead of one that is
separately packaged
