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