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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, libcoq-dpdgraph-ocaml, libcoq-dpdgraph-ocaml-dev, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.15-2
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
 libcoq-dpdgraph-ocaml deb ocaml optional arch=any
 libcoq-dpdgraph-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 e28c0ba5f6523cdb6b0acb77632ebd6f27db7c0d 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 04e0dfa59fbbbad9147606691aeaacebc8f76cca 2840 coq-dpdgraph_1.0+8.15-2.debian.tar.xz
Checksums-Sha256:
 062f681ac9adb92b9c47db37d96b2136879ecee1794cafb70b8047a1775c49d8 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 a7e3a2a35b90c6f86fb239fdc41c4f41f6d173c2efa6529211768bd606ffadbe 2840 coq-dpdgraph_1.0+8.15-2.debian.tar.xz
Files:
 80749f508a93610d0a88d81bd7efd99e 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 1f0cf5ff3e1ae78739ce5afa50056b15 2840 coq-dpdgraph_1.0+8.15-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSkBkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfjYQAIqJoq8SLUHGClWcCrVlDbbPjuEiOo/b
SoDWIfCSCWgQaS6WK1DtV2JRDpLBlegMfnAoj5wNujiT7JDrp4tPt5SJDNt0b1cy
AddSSzv8ERhsZN9513NTm7ZrQ1fnSRgpSOENax2rSzco9AHXvWRlzBROxNueRGnn
DPy4Nhouif7sAFLkHzkjXU6ldjSl4jt0pvTtTru/0Ts1h+WWx7UXHKAXR/Mbhn0v
86f0fHRofZNZY5KXmXGIOSPYdnQReCUUt5pRKJkwIU47SvskzFTCedQBEyNaMeKq
N+tKk+qnLcXKO+A60CdD8a0SwfF2r0yJZ6O3Xb6Q+m62kYchXF4VmzWRBSWf/7YS
IlkvEsIHOToC1Y7mesv83Z+hUVB05/CuWJ6LubTIhKHJWCxyaQ32TFQXwztBEJQv
6JWrfYXYsczGhfMuUzgnWLEJ5Cjy9W56P3JQDYylUFRkd4fQOAVLtXA/6KjUBYdA
dQ6+UoTaRknyp0dC1n/BczPqejOdnnmVzLlMx5EAjRjo+uy7qfxTZn9TypipU7nu
ri8cFl5kwxolPjscQv7VTUQPRM2PVesPJekPIQA64LTYiyoju4t0WEgeKZdvtMGp
py6T6Cm94emyn63H6HdmZrL6aQJeRBYidygbjOiVcy4RmrZMdO6zHBdi6g/omBVY
+Nh90vE6U9O1
=UXYC
-----END PGP SIGNATURE-----