-----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.19-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.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.18), 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:
 cbbf9bbbfa385a3f2cd77a020706aee93455041a 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 def560694c4b0eca3cf1037abb76176eba4a3647 3136 coq-dpdgraph_1.0+8.19-2.debian.tar.xz
Checksums-Sha256:
 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 fef1149574f48ac2297732b78b3bcfbde9e1c5bc5dfe3e9570bd106ec1b45f31 3136 coq-dpdgraph_1.0+8.19-2.debian.tar.xz
Files:
 b7a44b2aa95131ce2c6463ed9d49360c 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 53fdd79458eede01d5683259eff080be 3136 coq-dpdgraph_1.0+8.19-2.debian.tar.xz
Dgit: 6cd44595fd27bd916d2108938db7d6dcb6435b8b debian archive/debian/1.0+8.19-2 https://git.dgit.debian.org/coq-dpdgraph

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTVoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBjAwIAJ+MprUKZ5jWqoI5+0W42+llNPfwIoFp
PisfDV4S+ENerw3kPfTh/r+d1KwRnOgY03C/2ksPJF0KL4ueQ7bXRv2aPxJCVY/v
z3JXXoZ2LLzYCG6z2k8Ap237lAY896x0478aHR+ABgY3M1W5hJ2n2rDXO9lDbo4e
ph7RFfejzGboWE9JaURwPunHQ9DEvn9HFYRSykkE2rx8gkVGNZFaTenJeR/Ik7Zf
qEiR+f2NIl1aedHV8jrY1dVc1zpJuw5VHxRdj2+pQ/98TbSjwQUGHXiTy2kDIAeP
DhBa/561JdaWHykBFbJ3jIWCWZ4e/BKAiL+X+P99q2VeVqedzOkekhw=
=+Uwj
-----END PGP SIGNATURE-----