dsc_fields:
Architecture: any
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib, libocamlgraph-ocaml-dev
Checksums-Sha1:
- name: coq-dpdgraph_1.0+8.16.orig.tar.gz
sha1: 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5
size: '66055'
- name: coq-dpdgraph_1.0+8.16-2.debian.tar.xz
sha1: 7159024a77f7a6a8ccce889978f72f13c0fb206b
size: '2744'
Checksums-Sha256:
- name: coq-dpdgraph_1.0+8.16.orig.tar.gz
sha256: eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6
size: '66055'
- name: coq-dpdgraph_1.0+8.16-2.debian.tar.xz
sha256: b83bb6e32a0aa4b76cca6bd459432b27d5cc4c9ff231915c5007956a602f394d
size: '2744'
Files:
- md5sum: c755ea46f375e10922fa72c9c98c28fb
name: coq-dpdgraph_1.0+8.16.orig.tar.gz
size: '66055'
- md5sum: be73ad7c29033ec81e58e36e1b041fb4
name: coq-dpdgraph_1.0+8.16-2.debian.tar.xz
size: '2744'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/coq-dpdgraph
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
coq-dpdgraph-tools deb ocaml optional arch=any
libcoq-dpdgraph deb ocaml optional arch=any
Source: coq-dpdgraph
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-dpdgraph
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Version: 1.0+8.16-2
name: coq-dpdgraph
type: dpkg
version: 1.0+8.16-2