-----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-2build3
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
 3c09dc4d562bb0e19c9b0e0c510d4bdf2bec7868 3272 coq-dpdgraph_1.0+8.19-2build3.debian.tar.xz
Checksums-Sha256:
 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 757da21ebb957020e37cac485551150d2c1a0f7e41fb80a95092c8efdca77eab 3272 coq-dpdgraph_1.0+8.19-2build3.debian.tar.xz
Files:
 b7a44b2aa95131ce2c6463ed9d49360c 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 c686de860510e29ce6a6a9889a9e40cf 3272 coq-dpdgraph_1.0+8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZIkACgkQLIPbyOm9
DjfNqw/+Kc4J35nzFXfhAfudaRCZLs9RwhfT5IwBIDZskz0Si/5JcLvt0HDIR/oX
hopKTmWAeHuKtDvtFjFR+AHeHQgkz8uAigRokKfp4RCGha/SvcoTvnNI6Fj8t0Vf
3Zn68vnDe0Y4+rpwDMzXPH9kc9p0Iv+ri38ahKFeQAQkQJX+x1rd9w+x/Frp9adj
Bn+z7ZMmMD8CLQRBMzqB078J/WaEXFNnelWR5gDUljPlvRVoq9Z/r2k33Vfum4ak
p2wpexYpgKukzX5Fvf5nkVSIGzdtvIacJTMp77TFBkkBieCrX2WC7xnFa3b5J44Z
mHMPKqmx4jvxYvl7B8peb6QHJBs0j/i+5WW7Rc9YHvVRBLAnm7AqVft3odzdgxVm
buZzVlu+xrrtyAh1YWLzxCFW8/5/mZy8Lr+rx5kYg5cydsMWtsNQ0cRIpIZDUOOA
TF9l/2WHaRBJ9TNvjBjJl6DgD9T0RTR1eEw7Fe8GEkhp4XRPGepaFHB7yJrOxHMq
FtF/ERbckEVVTv8btZkDM1hPxevY9H6aqRIfcOi9m9jRt1ZB4JTzMVhZfcfTjq+9
g7P2ZwQlpxzsYthrR0FhTPCFhsg2eVjvl0OIqXrvV82yxMOTRQ/8uEWiX+bDMQ71
JOPFJaTeGJkn+pvuIm355qXdPpge7VXkzyxoA9wWhgQAElXTq7g=
=FYwA
-----END PGP SIGNATURE-----