Package: dh-coq
Version: 0.15
Architecture: all
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 25
Recommends: debhelper
Provides: dh-sequence-coq
Section: ocaml
Priority: optional
Multi-Arch: foreign
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.
