-----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-2
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
 df8f9be1c622227700167af8ed360518d22d1b45 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 97f9b76ae87a35032e69c7568da65f63bd6fb036131a9a8a5f8b049e27715836 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 49fa4d8469233f0564cba15bbd9ae239 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpocxEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZKLD/4r6KJfrc23/xl4GyDbXdql
8sduzQTqEqlczoXq04/+DgHfI36ultjbg2fUj4oQ0y/IdnQeXTNN2pRF/h74yeeY
gM+qH3ZlEf3Pbc/ovA32sUwE17EmtM0CB7U/dHL7KalkGFsG1C4uvgXZf/v0JTTw
giEZbk6XhvLBMf1FDWr09oQ6/+Ewqyv7EQmWxvWQR0pGUywtTJ8GICWj8fbOFgyP
M4RpI7EEb2uzORgEa7BgAPY6SCChMvhBJgtdaiKBfAt8iNhCG8pppHr5hXwfpH1o
ZingcXbEc3jYgaI2mpzwrXuV8+fhRewgEY7tB8yFNBhLxzQGWPlrilWIuwAHeRuQ
tps+koskIrAHWo2cK76oKL47vhr1Oi+HkmaQtvMLhEo2RntLQ2MRNvqu3YzG2jJw
oXQnjfUgV5myODzAyhNkJhMnDJfDL0pvMHXV2+TmAfO8q/vt15iDNFttGaMLHjBI
x3USXWtmioP1n/Ag/fZZf+dPxCcGIQoVkt/pKyzH8C8RKoDKW1/BtA8OuRkQb/18
q0TF0AIdE83B88IoNN1r7LxFcls1JOZQpLB3CTvc9QrNz8OlN2wHG/4zBLuPUzCV
duY34R0D7s2x+W39CZnliE7AysZiNrefBmPzDBm35wNTb2TfCE5T78rcRsjapiy/
UYu44MCvleCzzBwKzfrWCw==
=Whlj
-----END PGP SIGNATURE-----