22cbfa5 New upstream release.

Authored and Committed by jjames 6 years ago
    New upstream release.
    
    Also:
    - Build with camlp5 since coq now requires it instead of camlp4.
    - Drop now unneeded patch for building with camlp4.
    - Drop upstreamed safe-string patch.
    
        
file modified
+1 -0
file modified
+13 -15
file modified
+1 -1