-----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.20-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.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:
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 5d65a50f5e8c28a6f108dc378125746f3ce58181 3152 coq-dpdgraph_1.0+8.20-1.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 bf2fc6d42acf2d406e1c3c1659b3e672b64a6e86ae95e750dc74667562cb9fbe 3152 coq-dpdgraph_1.0+8.20-1.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 5f1ff17e80f81f3b9b9642b7ee755691 3152 coq-dpdgraph_1.0+8.20-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9rxkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLcQQAIV9NpmpJXikhtG2qC0I2oA+p17+iNeK
2ggHrnZqXMksTzmGbMUhtBs2HhDznn9abG/6k6F6HGEO4vID4I5IMxlX37VCcDzu
3qQh/tGB7nZWRgeuBIpcqzLBAIIGX1XDS6m8hdqRhUDnEzHwD6zVrqanSuBvK5sx
10kdo27xnvJjYLr7y7Py0VmsakPZ5T2/BvAkwWaGF9qkqRfOLIBFJuTzkK+L57q7
qKW7zvEl4LnULz6z0kpk2nObu93cS4d8bxBjzhWhpLyggOZdUmNDOPc6PfYTpDmr
5vYUsQ+0hFnsRJc85dImLP+kvvssXoaWz6mQdxohYllGorbOJkJtXAB6Tbni8aYo
cNKNg4pFWrpjsZq+NKv+co+vWDtTixmQflYmzaxqrjZPgb6ES7WiuWnU7MlT3oF7
aC6FL2lLgOa7y005UE0go1JmzK1tFi1RIU3n5uzcldko5u93qx+Ne3Mt/kT484V5
f+VDVRSdH5TCZj2bTOzdk5RaqySv4ohkwZqumQwiMqGT8avthPkRgYIFZGx+995K
tZfOHRhyy5u9iQ9LoFaHDplyXLHd8l56JkUne6fXr8WZNJQwoDrEvBtlXzyVPuRF
UbKNf1c8qcPXG8ZtcLbmW8AFMPBC5YMYUUws60VRZa7EJ+msbnrtOLLpiAldbli/
ZFoByWPP/x0x
=NDNl
-----END PGP SIGNATURE-----