9c3e90e Do not build the coq-menhirlib package on i686.

Authored and Committed by jjames 2 years ago
    Do not build the coq-menhirlib package on i686.
    
    Use new OCaml macros.
    
        
file modified
+23 -29