architecture: arm64 component: main package: libcoq-ext-lib priority: optional section: ocaml srcpkg_name: coq-ext-lib srcpkg_version: 0.11.7-2 version: 0.11.7-2+b1