Install failed #89
Description
The install instructions fail at step 1.d on "make". I get
coq_makefile -I /Users/moshier/.opam/default/lib/coq-core/plugins/ltac2 -f _CoqProjectForMake -o Makefile.coq
Unknown option src/META.coq-waterproof
{{ message }}