architecture: arm64 component: main package: libcoq-iris priority: optional section: ocaml srcpkg_name: coq-iris srcpkg_version: 4.0.0-3 version: 4.0.0-3+b1