Artifact dh-coq_0.5_all

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: all
  Description: |-
    debhelper tool for Coq-related Debian packages
     dh-coq is a tool to help maintain Coq-related Debian packages. It
     computes checksums to tighten dependencies between them.
     .
     Coq is a proof assistant for higher-order logic.
  Installed-Size: '26'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Multi-Arch: foreign
  Package: dh-coq
  Priority: optional
  Provides: dh-sequence-coq
  Recommends: debhelper
  Section: ocaml
  Version: '0.5'
srcpkg_name: dh-coq
srcpkg_version: '0.5'