-----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-1build1
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
 0fb4549f883c9ece7d135746512e70f819007d09 2776 coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 dc819013113cf9938f11d269a1294657e720713e9b49ec6db39b5aa1c665497e 2776 coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 1d76d1b74a9e6ba1c7545b6551ce47e8 2776 coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOCh4wACgkQ808JdE6f
Xdmv3RAApABfkSbuMgKHIlrBK7eJ5k8AVo29244eYu0+cz3fFpm0DXq3QfkS61Ls
kklRysFz4Emx3prVDOGuxzytXk6jU7DZU0SdKBGVH9IWJkCDdhOxsyFl9GVr2sBr
k98Jjl84Ds4pVaDhg8QeVEfGXUqKQN04iXuS9bcMQAom1h9JPICCC2VOBxtzpNQ9
sG0e4vxwzKHPDQcbu9HnkgBGUYWtZwuGkKSoPIW7jKDtvxaomJHTdXbvfLetBsmE
4/WFNxWEaV1wULImk7AKaQeWEdvRJ865lLUwdcLLhtUzcPb+Tj4fXsm982uR2XET
tqyQ6AXsXApHYqMA3oxC4zU0hpxRa/CK9qrXEYyeC54jRIv7tgrdjpUk3eU6mXif
J1tijVy6T4EydMQtWkFcwe9Jj3X0ohL5+4DDx2LQoWp9P6Y2C2Z3DfZPfp3u0GBn
b5QvVLIeBKnchZ94E1R7CiYe8tM/OoelEn7qsZqWPx4pNl5THeaVKketV4lya/TW
1xqPzWAHh8m4TyKsoBSBXqbhiodrmxjf8VsDhO+5NWyA4shVwTgJu+ne2DyyQMom
r2mu/sYZqH9d94ItFmYsuQ0kp+UPl6gIS4OznSNE4iz+JEXctnllFlAPJvpGEFW9
R1OO3lFu8RfaOL08uVqrtbChSVeTYAlA7R/VL8Hvm+Qp33QQ45c=
=ydrf
-----END PGP SIGNATURE-----