dsc_fields:
Architecture: all
Binary: dh-coq, debian-coq-tools
Build-Depends: debhelper-compat (= 13)
Checksums-Sha1:
- name: dh-coq_0.11.tar.xz
sha1: 493bc68166478952e3dc3755c46188173c51b014
size: '8592'
Checksums-Sha256:
- name: dh-coq_0.11.tar.xz
sha256: 5679d5539b44195cf46482beb1c6bffe31a66e06e725ce0f153d6ef52ec4b5fb
size: '8592'
Files:
- md5sum: 92e67a11795dcd398b9f101c3ebdce83
name: dh-coq_0.11.tar.xz
size: '8592'
Format: 3.0 (native)
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
debian-coq-tools deb ocaml optional arch=all
dh-coq deb ocaml optional arch=all
Source: dh-coq
Standards-Version: 4.6.2
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/dh-coq
Vcs-Git: https://salsa.debian.org/ocaml-team/dh-coq.git
Version: '0.11'
name: dh-coq
type: dpkg
version: '0.11'