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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.19-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.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:
 cbbf9bbbfa385a3f2cd77a020706aee93455041a 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 018ae07c887f240a27de278135129547f4a2616c 3264 coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz
Checksums-Sha256:
 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 ddfad38b1ead47e10c56c09349b7358ea9bd932cc34fad2d70ab6d1567795fef 3264 coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz
Files:
 b7a44b2aa95131ce2c6463ed9d49360c 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 1b80e9fa36db5e952cbd62e5a284f05a 3264 coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbhbgACgkQLIPbyOm9
Djf0xw//SL9RP58RJ3MMSWJJMxb4cOO/6WLmPxGrOcdFJ7gNGetqILi6KSDkXNBo
5wsts4uCtpSNL8oAYXuugBEHl5+IQUdgom9zZU8PiB6+jzjCkFcqqROrQqZLRdDs
FxACKZNdxXj1GNJv+2Dy66sdIlDyJGs9j7uhKbcYCZvsR/2Le9AGkG7bOGu5u1iq
9wLao6cwMAY2IwS2WocK7mfDxAX5QsG6lHmxSTgVZfRVuuukG9Hy8bB+eP/lIsSq
xnbYdBnHG5bk8QH4dyn+at0ZssXf4oPrulcU1T7VGC++UuosOEXIp6haif/LYkwP
FmbsRiyX25cpXvt/vB7796DxASNeikJ/G2ZWDLKpQKYn5yMyBvQIt5ziYc7G6e9l
YjXTBOFA2GvJ4AWUEh6FNHUzHnKLl+iepTk+greozlLUEdAeywd17HR0XcoznFqA
LzpShnMv7moBLRTOPUmM9dx89pJnqciys5jwnjK7vz8GFO6GAc1xYcpZzDWafHLj
CjX6ayj/6Of67c1CGsYybcF+55tiijOpxa5ZWKnaaKAZR6fN6VuPkNKif+IzfY59
OSjLb4rinJAnl6s8ENquCP4D7AC+0UznTW4Gk3NFlT74z2gvIVVD8eR/e/r0d7ar
XJeQv5W5dEgiz2vvjcuSt4x53bYtLE3K3tk9MwUt+vOcb1GmiMk=
=s78/
-----END PGP SIGNATURE-----