Opam 2.6.0~beta1 man-pages index