-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.17-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-dpdgraph
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-dpdgraph
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 coq-dpdgraph-tools deb ocaml optional arch=any
 libcoq-dpdgraph deb ocaml optional arch=any
Checksums-Sha1:
 98994c12f172c47f24cbaabdc65ee10d0473b173 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 4b93eec8ab5a9e1197403c747b57f99ff6a94f65 2896 coq-dpdgraph_1.0+8.17-1.debian.tar.xz
Checksums-Sha256:
 2e7c6a44f85af45a84dfb114ed5006af7879c36959685754fdffb29e68365055 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 df468727b7991cde0774fb59fa1ecebde96cae4ae0ff80cac1c8376e70b41c02 2896 coq-dpdgraph_1.0+8.17-1.debian.tar.xz
Files:
 29c4e69d6666c024d4375403767aca6d 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 1110555790a6fb8c1e230299dda6ad22 2896 coq-dpdgraph_1.0+8.17-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVdESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfd0QAJeKeROCidQbqORbOxWJweUsVOuLGRxP
I+RdFXFge9qBZZtvI8m2ZcMv51S5zUbusMmehJCsPoM0IhEo1hjQfALlFpdlsqnI
Scz04PAryn0DTBK4E94Si0ty4pg2HHItCHMhK5/1usSqpQxVdlI7/Ei8qPhc0aap
ele8PSA0nyYEsWvsoUgUTXjixf4EP4CWNNeVG1HrZLG/vmGcV0ukydCgQHiDRA6F
bHcmfAOp9ytaeRGhCPQ50yd9Q8UutDQ3/zDmN6TEC5diZ4xNcMJPf05tRBPjPyrC
KlgOA1zTgzo5wwffs7y8nEDMRoIDf48NDi0g5LnfmgH5q+e1fYIcheZAF6PkxJqS
2vJk7gMx1lmWQ5Pb6UUkgvcI/7URqAB1Kp/H3qgj6WSqN0kCvDqsJYuzLkCsUm5P
f03sve3nA6vqZ7qI1zPLxnwCtnFVFW/FxYUuGk2HE2xYf3DWjWprfG+7B+Ragbcx
IHFD8qW8YYzztwJA9k1zMzA6EGntcZNb8N6ljWj/KZluu6tTKWI47nF4nIcdh7It
TSGfsAO1qOppniZ83K16+AhaVcTxj0nIs1l9GIm4SBC8yjh0soOY9ECeR+eGselc
lSfkMh78aHgh7NFZWXGLeP6mxxgoTphBYvawUetH7RL+IXhWTdkRdFNoxwHJdS+3
p8ARyg5Xl+09
=7ipJ
-----END PGP SIGNATURE-----