Pandoc and OPAM