architecture: all component: main package: dh-coq priority: optional section: ocaml srcpkg_name: dh-coq srcpkg_version: '0.5' version: '0.5'