-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.16-1build2
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
 03027f91e3f83d6e753f2ed961bcfaddb448d44a 2780 coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 a393c56829d76c865de3bf9cbe7bfc05e362db55147a34acb34eaf45116047fb 2780 coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 2ae14e2373fdf717764e7cfea076aaac 2780 coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLpBoACgkQ808JdE6f
XdnuxRAAu7xZRCxY0KJ6pCzaZg7Nm5999C7R7nV7SbDIQp2f0+gYLgSOY1QwwmFa
rQ7VixkVLNRYbVy05w20zrw1ygX6AzJVTqBnX+ftAEMAPJfULOmso/75g0Qwwfpi
JlE7vacPXv1CkznXExlas5yPoSMUNVzAlB0EZpILujSFuu4z9WcZ+mqsarEjU0Xb
xkKJRGq5Ad+knEcHAVQi1KJ/4bBSE3+6Weh57Vn9Cmw41TWomSN8MOquEhG+R+XE
59mijkg3wonO/PJVYqiWe1ouapVIJNDvzg6OTs559wVi5Gk+JWppaZiknn1AjLVl
91BOrfd9fGg2hRfJJheEVN0quPI/Q5UAjBaOtZThgFG20mYkLN9bwxoMgHQ+YJfS
tbWvi0C1aPV27cWzRIp0vT3Y7jc+CRuolzJ952L+3UYFaghyCT/RR3Ju0ZkTlCtq
lybA3FaOZsPo/KjrN0XsyJJeGGD2yuwioaEjNuXOIGEMpCMuclgzMDJRqKpiubnJ
V+LIf4KCjwDZmEnCP9CCyvjcADN+2LSemdOMBNgHdwDe1z1dU9zEFt8HS8wG0Du6
5BNrOZpgRItuotr19wVZRl+iHywz8oBKs8XjvSjg1paAClIA9qLtgoP41r7StN27
BVfD5TyYCP9HxtcGUkMqMt8NVsO5IlTlkZQb6/KrQeyvsYkKAjQ=
=ZqAj
-----END PGP SIGNATURE-----