architecture: arm64 component: main package: coqprime-tools priority: optional section: ocaml srcpkg_name: coqprime srcpkg_version: 8.15-2 version: 8.15-2+b1