architecture: arm64 component: main package: libcoq-dpdgraph priority: optional section: ocaml srcpkg_name: coq-dpdgraph srcpkg_version: 1.0+8.16-2 version: 1.0+8.16-2+b1