(library
  (name odoc_extension_api)
  (public_name odoc.extension_api)
  (libraries odoc_model odoc_document odoc_extension_registry odoc_xref2))