ocaml/opam — pull request #1537 by AltGr (2014-07-25 16:04:39+00:00)
Title: Fixed latex error in dev man

made Thomas disappear, sorry !