dsc_fields:
Architecture: all
Binary: dh-coq, debian-coq-tools
Build-Depends: debhelper-compat (= 13)
Checksums-Sha1:
- name: dh-coq_0.13.tar.xz
sha1: 9f4a552d618a632bce3d85e9df958a9b49286a37
size: '10428'
Checksums-Sha256:
- name: dh-coq_0.13.tar.xz
sha256: 288c4e2fc4867e9c27b9d51d604bf4a8a070de2160b78e5aa9ecaffff2fdb1d9
size: '10428'
Files:
- md5sum: f8f4c7149167c014104a4fb072e3bcf6
name: dh-coq_0.13.tar.xz
size: '10428'
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.13'
name: dh-coq
type: dpkg
version: '0.13'