architecture: arm64 component: main package: libcoq-reglang priority: optional section: ocaml srcpkg_name: coq-reglang srcpkg_version: 1.2.1-4 version: 1.2.1-4+b5