Package: dh-coq
Version: 0.16
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-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.
