architecture: arm64 component: main package: libcoq-interval priority: optional section: ocaml srcpkg_name: coq-interval srcpkg_version: 4.11.0-2 version: 4.11.0-2+b5