-----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.20-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.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
 392ad1fa9daa4e2e179c617d9ac2ba3ab9ffce7c 3212 coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 7bf6b7fc1f277c77055d90f7b557871b07fa7b3a8d1bd165155ed3ea6c604b42 3212 coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 f2b78304ab00ae4b65c16955ba1e1d86 3212 coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8kcACgkQ808JdE6f
Xdmv6g/9HNwSrj1HHsc4kw2dW+Z9F1B7rayG0Nw9gC4d72SHSmphaqKjyHjxp790
38ygjImPernEJmwwgXlXyhy2ZWoMQSPpYfOGfLpuxSlBx0j9+ehFoj7gMXmtFwXk
1AXDzbkxh3vrpo0iFZ1W4c/oy6KtSTPMVCXjVT9wEVVf6HTQZAXem+/BbwLGfqki
Gd77lBNWcjeeROd/Nv++h6bYQZ9U+JeVryuqs5oYp63+oaSya5iwXA9zL+IJwaxi
66peJXmelV9Z44v15f3z6Wy62JtwamXb7I65Izud0F8JwDjJrDL5LkJqs/qcgH0m
ZBt0hwDnAdFdNg8JkQo/w5hd2ZfwaVYRYcs42h6DLyAUlVvISKsy9H6yLM0iTisE
+wHv0NjIExO2aZ5anuQ1C6Azw0cFh9OcTdWUuvHyna10KH9pITdQQrKVcHFx3ryn
ABhEz4V0hzFgodARQg43S9c1qKEs/3cbz8S66i+c+NlIdZRe0lolQ8rulCkEVxqb
ZoeiLKt1uMMywQHHtJccwVAZUSrnGudRBaDPlqwYEEu/oQaow9XhcgLRF8Y+QFKm
/EWK7vgws65VqsAZIKq8JKSBAmv/VQiDCfQolqm+qmQdETkB8oOfXTIOsNjqqkpt
KJLcoyJFgsE///truPRsikwLtqTN4P6gpjMaOUgBxF5f+CQZJGQ=
=zMpa
-----END PGP SIGNATURE-----