Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.14+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/dh-coq
Vcs-Git: https://salsa.debian.org/ocaml-team/dh-coq.git
Build-Depends: debhelper-compat (= 13)
Package-List:
 debian-coq-tools deb ocaml optional arch=all
 dh-coq deb ocaml optional arch=all
Checksums-Sha1:
 99cf2fc59817f691bec29a2809e53cfdbc5f473e 10696 dh-coq_0.14+ocaml1.tar.xz
Checksums-Sha256:
 490f6772c8879ffbdca00f08a9a4f9862439077977d11580d95a2c2dc23bba12 10696 dh-coq_0.14+ocaml1.tar.xz
Files:
 34e0421a535e19919484a18fa44fc44c 10696 dh-coq_0.14+ocaml1.tar.xz