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