6e23d32 Update to Neon version.

Authored and Committed by Jerry James 10 years ago
    Update to Neon version.
    All patches have been upstreamed; drop them.
    The manuals are no longer included in the source distribution; add as Sources.
    BR ocaml-findlib instead of ocaml-findlib-devel.
    BR why3 to get coq + why3 support in the wp plugin.
    
        
file modified
+10 -1
file removed
-87
file removed
-132
file removed
-238
file modified
+76 -51
file modified
+10 -1