dsc_fields:
Architecture: any
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib, libocamlgraph-ocaml-dev
Checksums-Sha1:
- name: coq-dpdgraph_1.0+8.20.orig.tar.gz
sha1: b98ff889163f9d137e12b081c116174ad1359244
size: '66256'
- name: coq-dpdgraph_1.0+8.20-1.debian.tar.xz
sha1: 5d65a50f5e8c28a6f108dc378125746f3ce58181
size: '3152'
Checksums-Sha256:
- name: coq-dpdgraph_1.0+8.20.orig.tar.gz
sha256: d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726
size: '66256'
- name: coq-dpdgraph_1.0+8.20-1.debian.tar.xz
sha256: bf2fc6d42acf2d406e1c3c1659b3e672b64a6e86ae95e750dc74667562cb9fbe
size: '3152'
Files:
- md5sum: fa2ddb45b3eaf9ead35c44ebcddd1152
name: coq-dpdgraph_1.0+8.20.orig.tar.gz
size: '66256'
- md5sum: 5f1ff17e80f81f3b9b9642b7ee755691
name: coq-dpdgraph_1.0+8.20-1.debian.tar.xz
size: '3152'
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.2
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.20-1
name: coq-dpdgraph
type: dpkg
version: 1.0+8.20-1