-----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.16-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.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-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:
 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 ffac85617d6a4ea275b167568ce8bd16c2796919 2696 coq-dpdgraph_1.0+8.16-1.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 15c674dee667c7cd999d0c17f1e699730cceea61ee5317385676cde2d840382f 2696 coq-dpdgraph_1.0+8.16-1.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 25402e9123f06ab502c1d8368292dcbf 2696 coq-dpdgraph_1.0+8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIJQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKjQP/Rm4tRO7SxwEcxHsby5V6quoScKQEDKG
ZkelxbrOihcFBCgESNJMnE0r2b/HIYYqgZNb/pFCY8ZEY2svdZVCjQlWnOaJvStG
c2thubX1OpfXS1628p+FDvCe1CJ/RCuaaM6zdNtnA3EFL+5nWMhQevyp9ZlPevTX
iSFq853pMcA8k242iHpUgSU6Lp0TbIY0rlbzD/DJuFdd6h6rREArBSusyu2e4dCL
vIH/qPLJXCmryvu9mTF0Bz/Ai5bTSeECXq71t4a6G0vdl0YW2SO+HYeyoopFnQC8
pEYF7ZN6C3atg1hgmr0kQiG9uHGvFmGHe2nh2vHGnqZvxU+9OIaQs8PqtD9FAq+I
bOD/zFMiBzL3Bx6JcO9YvUC/+uvsOeVOzAj3RlnZPQbNfrVO+gXX9aiDHwlAHzmI
4ft4jGcto/i+ER+4Oi2T45CsL13ACvmG7BsozrAXCqYpBxOcXDpMyorDkYQEvnC2
qAMlb6r2WfjXMMtrHDB2yhqt7fpGjrXxBM/BWmUfyLGrmiXEsaOR7l+1dpLq2CaH
U6NkhR6hhR1LkfDChsNG57FW3AjCp0O8vGKF6h3w5i+3b/JhKc/wLANCz8oLB8A4
CISm+pC+SiInj2LnkbQ/rYecbDoWYQ8/M2kP6a7Du5UTBGgIX3bbwZJ0ySJn5rfS
CmuH9KqR6gSh
=GbEe
-----END PGP SIGNATURE-----