6e23d3 Update to Neon version.

Authored and Committed by Jerry James 5 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