-----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-1
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
 277f71ee4a6cd877421c544260d806c85a3e0fcd 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 f7de659cf0306c3f5b1dbdc53d5eba7756aa55db72ac19bec1ca71b175ee9644 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 5e6b476a61be24a17e8f798e52e82cfd 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQy/sZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUb4hD/0VOT2pn0Mz9oGPdChLDze4
5W7R4psds0WOsqhDJIQsO+nasIl2WURRufZi1wYdEdmk0DWi//1xg7WehArme1F9
+obSZnptnCIl6QrepgKmY4xxAAvK1n3aYkvJRjqdMmH8iWYdb7VWzxpuOP9RLdaM
TK9HI/qET0Pd0n8MNCGDlko1Gztr04KSzqWGehJ5tFRzMqyoaFOWPuFpJu3JAOZD
0SLlZoyxOC2O+fdJTuCqvbuC3xfBIioQrSJ2LC6OeB749IX2Ik07VKbr7SUUbGZt
L/VRaWgyjpu/m1ay7vef5O8rYqGEDtCgVqkP7pwopFKf141dRmTolck3XN6mmgtZ
uWYE6t+FwydMMnna40ybeKp+WNS3u3sPfnOmTn3YM8cytu46ebBylL3/unDXGZgO
8ViMgpVhBBxNjst1YDQ5AX8KoPqDm0jGzcZlSBH+WCBt+wb7vdsM8xr2mlpO5t9c
9QW8mHl5184nk14qf4PV9SSoPrHYf2N70TQNry7uXg32s3OC7VwI98QD+MujZBSb
DSvuXDMGx/U8yktD04XV3NnNTaU6wlZ1in003SknqlQo9YLLfj4iR6Yhc1itFhov
FhlhWM5LdymipSDT6RXtQF3huRnjJ55JHKtuqiUhJEBklSFPWpuBD7viGPNzgok8
hiX8DKoIQTWfzLy3ai6U1g==
=nKJ3
-----END PGP SIGNATURE-----