通常は、tarballとってきてmake installでいけるのだが、使っているcoqをコンパイルしたときのocamlと
ssreflectのプラグインをコンパイルするときのocamlのバージョンが違っているとinterface mismatchが出る。
このとき、parsing.cmxなどのロード中のモジュール「on Pervasives」などと原因となったモジュールの名前が表示されるので、ocamlobjinfo /usr/local/lib/coq/parsiong.cmx | grep Pervasives等でハッシュを見ることで確認できる。
coqを現在の版のocamlで再度コンパイルしインストールしなおすことで対処する。