(executable
 (name main)
 (package odoc)
 (public_name odoc)
 (libraries compatcmdliner odoc_model odoc_odoc)
 (flags
  (:standard -open StdLabels))
 (instrumentation
  (backend landmarks --auto))
 (instrumentation
  (backend bisect_ppx)))
