dsc_fields:
Architecture: all
Binary: dh-coq, debian-coq-tools
Build-Depends: debhelper-compat (= 13)
Checksums-Sha1:
- name: dh-coq_0.12.tar.xz
sha1: 824b38dd968ea2488c752fcd8d27c89dede87f3c
size: '10000'
Checksums-Sha256:
- name: dh-coq_0.12.tar.xz
sha256: 0e635ad7e487313e983bfec6501f960a158c4fd00e2f78efe6cb474bbb74fd4e
size: '10000'
Files:
- md5sum: d1b803802aa95522659b93f3d5c13148
name: dh-coq_0.12.tar.xz
size: '10000'
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.12'
name: dh-coq
type: dpkg
version: '0.12'