-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+9.1-2build1
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.7.4
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 (>= 9), 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:
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 35991dcfa7a2acce229e8afdfdb57e2c86aeee02 3244 coq-dpdgraph_1.0+9.1-2build1.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 9f6dcd5f4bdca1625ef965a795ce619b066dc482175b306a38967feee4986377 3244 coq-dpdgraph_1.0+9.1-2build1.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 e537b06c2bbc62ec4b886d34deb9a32d 3244 coq-dpdgraph_1.0+9.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDI0ACgkQ808JdE6f
XdmSNw//WrqpSB/6FDNJvtJNMwEq9R0vEr0tYpgET/ccG0650QgBvmGNso2eStRW
wppgwECBLVDWMlprfin/NlGXoEt+JWlVjow8ZJGZ2Y7VD48fGXYeF7P6u65p/2UN
mlbGcp8paDYvNc9JZWzqMjL8QtRmGwEmELmJD1zLofSgN5a/bsO18ycltTHykdlT
J8dwnPe3wwCKixoKbQ4HxGUcz3tGQgC4uQ1nXEMTmT48hs/Me1Ehp77B9ZdzI9Ft
e0fUit8OJFAHx2rPcgDKZsEPhcDo+xvqouzWSwYaxJTbsd9jCpV3+XAFrLEckSph
T+6I4WowUynoszDZq3un/SmuGIVdHDPp3WUF7rHMhKZXltlYgTb3hNQ9NdkgAtvU
cB/WBdTBKW0qeSQErzkxAOvSO3jJi6CXvWgecaD6rjJXJgrFR5nUR1Uhw1D5as/P
LcI+nSu23q98zKENvswdWgUvsmxPXuc4KFAI6kXJgjEZ6XcktCzXmUOXwvdgarJZ
0HahiUWDS8UzFUytXPOGpczbqvv8XkX8E6YU4kZ51Gb2y+0BpZ/xe1LHfty2Oujk
wuYyXWc9VrqF1gkd6PTyRmWiobCldrPqj0P0tm52jw4cbsg4lIX/cgWBqs9PNKD2
6xshCK9afEGeGneuGrYoRh6itkOztuyCFheG4iMjViyu64XF5ac=
=+QJX
-----END PGP SIGNATURE-----