diff --git a/src/lib/config.ml b/src/lib/config.ml index d78a6de2..e0e8ea7d 100644 --- a/src/lib/config.ml +++ b/src/lib/config.ml @@ -212,9 +212,9 @@ let cmdliner = $ take_n_last_versions $ Ssh.cmdliner) -(* odoc pinned to tag 2.2.2 *) +(* odoc pinned to tag 2.3.1 *) let odoc _ = - "https://github.com/ocaml/odoc.git#34a48e2543f6ea5716e9ee922954fa0917561dd7" + "https://github.com/ocaml/odoc.git#7ca4890b94d9c36732e3eb69fcf2859f95975dfb" let pool _ = "linux-x86_64" let jobs t = t.jobs