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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, libcoq-dpdgraph-ocaml, libcoq-dpdgraph-ocaml-dev, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.15-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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 coq-dpdgraph-tools deb ocaml optional arch=any
 libcoq-dpdgraph deb ocaml optional arch=any
 libcoq-dpdgraph-ocaml deb ocaml optional arch=any
 libcoq-dpdgraph-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 e28c0ba5f6523cdb6b0acb77632ebd6f27db7c0d 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 27643bc01dd0c513257884eb12e9c50ed8380ac8 2832 coq-dpdgraph_1.0+8.15-1.debian.tar.xz
Checksums-Sha256:
 062f681ac9adb92b9c47db37d96b2136879ecee1794cafb70b8047a1775c49d8 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 5ea9ecd273e553a08212b903e38e48c1876317c997e43bbf6547b25443a22cb6 2832 coq-dpdgraph_1.0+8.15-1.debian.tar.xz
Files:
 80749f508a93610d0a88d81bd7efd99e 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz
 93d6cb52b1640b24800707df6de318e8 2832 coq-dpdgraph_1.0+8.15-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK0ClASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMygP/i0gPy8WpkEkz4dMR5QCqAszm0jDP8if
Vb3ntHqSpGmiB6O6SVJkX2aXm/y9znqU4Mg1LYkGuxNs3SYI5fgnkhhOgybl+M6U
xpZ2RdEWtD2MS2t3GKmyIie/SuOfb3G7dGQwWxMylTAh4N3Ump5u221nKgoCVPYg
nxLoO6bFy1zSk/Oo84LuX2ZR6WC3m4Ug4wTCVqmVFgzCx0X5ZuAAiYgcRFX0ROxW
DreUC8HJXigc3uHTC3UVFwgqtofLrMojF98hFqkAS6VdbJlqsGWiqQITMAR74ePZ
d7ZvuaUKso0sMzuAJala6dTMDGz9yIkD+dLrta4uZBwmXKigbrz6zT4ikabhEgp4
JE6dEItkFQfzSqeHRCgcrbcMa6SIOXk9sKuXI2HtGW8hug6hdIg1rUM1qB7RSnM2
rNQMdKVVjddSepRoiYXywvTijH3eYTTC3W9mcuAfpv/8l5fTyWZm35r+7Git2tlt
1VbKx2Xm+usz/VfBjD71sdQG3TJLSuz4grP7+caNPTc3fsQiXsPjjS4wd0EHwiPC
ZMIGrT5V+uZBi4k3SIFdZL2N9jERLTDlVeEOPEtBrkOXGWOYTjuRMAWzBle+0ckH
7yhcEcS8lcucY/YVwQDePmF23wOQBlTOIbBZUIrJNSH6LX+U33ZtClwUgKjXc8BP
3jXYqWk/okHW
=ma11
-----END PGP SIGNATURE-----