dsc_fields:
Architecture: all
Binary: dh-coq, debian-coq-tools
Build-Depends: debhelper-compat (= 13)
Checksums-Sha1:
- name: dh-coq_0.5.tar.xz
sha1: d31a67cdaf22b0969d7325df72de019f2a3ae5a8
size: '7540'
Checksums-Sha256:
- name: dh-coq_0.5.tar.xz
sha256: c1299f565a91f17c2bbfbc372ac88424b7d309fbae94de966da1dce989ebcf88
size: '7540'
Files:
- md5sum: ea81f75e3e536df413d4dd6c2fed44df
name: dh-coq_0.5.tar.xz
size: '7540'
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.1
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.5'
name: dh-coq
type: dpkg
version: '0.5'