This plugin has mainly been tested with ocaml 4.14 and Coq 8.16 and 8.17.

Dependencies

opam install sexplib

Build and install

make 
make install 

To clean the current build

make seriousclean