-----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-2build2
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-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:
 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 a450eb4c5b320d036d6701475752ebc9d2b10a3f 2820 coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 8f119973f70b6d784dc5ba2b6c34875723b6cf57c149e857c0020faf38a14f2e 2820 coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 631067c222d62163cf71ffb63e46c287 2820 coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudswACgkQ808JdE6f
XdmBwBAA3051Tjo1tgH9iu743s7pMdBC9ZDUxEOrpXsqJ/Z6EqpkxfxLJBc1RdTz
DVYofMiX6njtsJ1+A8cIsIaLgv0U+UizJHtPPXDaS+iKchiHZYtjkR+d0qVAmk0G
K/ACDoBvB4VeLm/E1nYQ47Ip1uJtOypGHtPEZCN/TquxMmuonMorarDuMTzbvBqb
2Ki7YA6THiBoML00bXnAsxiJQN68fyG9VNfllDCET7ev/+tQxll/NQkp8NNXDaBH
TqcPdpL/0ENjpRynqNg/EvMLzZPn6dFgeB4sZGI1EPSWw7r8LdlgXj536boI+fxa
xg8uE0GA5lWeVyhO/4ORiECfvxZX2Io1XX9EEpZonPuT5xkAvhqkWMmsgQpk2K0s
M1CB5gbG+XxJFddVrNXxLhDcIVJ/7G+gyJH6XIQmm87jz3cNcUciueTe6XaTNutC
upcVNCgksC+wAR/uA25Q+ThEI69Yspf8KwpVOqtHYOFuvCMQo5XeTeK6Tr3ukSYj
8S6c/+v+8ibgBcHzw4m5XMbkw5ovdPRi4fxPWDowj0PHfV45fyKAfRosqvZZ/ZNQ
7MKTPL0WwaU/uFpeYcWqdUPQ9QJ7OB+wYeMp+orja8SJhvRwJM7L6q+KU1ezSauL
J8Mjya0rIQojWHPqrAgzhCfpbZHnFRNMKRFP/rCpB5mVf9kZkIE=
=IWn9
-----END PGP SIGNATURE-----