architecture: arm64 component: main package: libcoq-mathcomp priority: optional section: math srcpkg_name: ssreflect srcpkg_version: 2.2.0-2 version: 2.2.0-2+b7