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