architecture: arm64 component: main package: libcoq-mathcomp-abel priority: optional section: ocaml srcpkg_name: mathcomp-abel srcpkg_version: 1.2.1-1 version: 1.2.1-1+b3