architecture: all component: main package: menhir-doc priority: optional section: doc srcpkg_name: menhir srcpkg_version: 20220210+ds-2 version: 20220210+ds-2