-----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.17-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.17), 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:
 98994c12f172c47f24cbaabdc65ee10d0473b173 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 4ab0782ced97bfc294d0f3a0cb2d69cc947fa6d5 2960 coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz
Checksums-Sha256:
 2e7c6a44f85af45a84dfb114ed5006af7879c36959685754fdffb29e68365055 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 afae7f119cc6c95bd4ca3893162eca3b49ac08c1977e8db3f065bc8330067cca 2960 coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz
Files:
 29c4e69d6666c024d4375403767aca6d 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz
 9add405579505c7d7a2171af5783342f 2960 coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq3gACgkQ808JdE6f
Xdk8xw/9EslKHk7pZB5VqhCe0l2tWfEbFycxiAEkgaqJ1QlOJSIhshajO+XIEiPk
WL3Ek6ncmG3M1DqyafBNIl2X/dqYUET3Yq+Sq6rwnViTu/Nme1jY+18JTJZxrDCN
pmZv/sF+WKlGP+6XaJ3KHaCidmnqnvv32wbkVKBw9O4EWD7jBlI0zaPkQP7/3BKm
lq11XVk20TnBaukTv6SLSu0bRfCbAAvXepRWiPnV3MlFu41najlsZHV50S6UCab7
fEgIQUI9T2RNLyKvNayqHaNaQlHWR/Sp9pIBENJ5dvVIuTU6/33tDD42SZDiAR/8
vylNTCBvqXV+K8sSopGD1/iibqeN3PhBQbwoyOtZ+d9ClD6T9BpRB+uUkES//U2n
DvJ9juJdS9cpsHwKw7p6TFxnQF5t1BwOrg8k3Cqm8A81mjo+qCZ+5oB44JJpDVQ+
ZJS4x/CF8sU2zIqEM7P/p+dypsKA5XBZim1o7a8EEauW05W3RZ58Fjxs0L8dHIwb
DYFlFWWjzt82U2X46nbA1kWtrD7r1+wXCLdwVoowylXJ8Y3vsHqFX9KFaMXWcYv0
yISjzwsA5+p8ML2/qJf9D6FzJ/h/JE42bCnwlWjR4cTn3irby1LcxcKUmSmlwhvW
/j47Rqb3tpz76y1Gct/l/MwbeEVC2RuiSXGr7WSjeIdUzBREcrU=
=BJNL
-----END PGP SIGNATURE-----