architecture: arm64 component: main package: libcoq-unimath priority: optional section: ocaml srcpkg_name: coq-unimath srcpkg_version: 20220816-2 version: 20220816-2+b1