-----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-2build5
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
 6e0d80232301e8b4b7605e52a7cf2c72310c705d 3332 coq-dpdgraph_1.0+9.1-2build5.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 8612ad4265ed5b8c7c974270d04808aff7c370bfa6b6a72740167301899eb82c 3332 coq-dpdgraph_1.0+9.1-2build5.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 afd343b4b90b8cf23c9ecbaaf0ace51e 3332 coq-dpdgraph_1.0+9.1-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/8ACgkQLIPbyOm9
Djc1SQ//dRDF/o4kfReU7dn2ty5KlTwVEDTXdLLhueHVt53JW4Gpiapr5ej/16H8
XFNABNqXwJSHRCtAiBrpBIBRao2AlV/1lHiz+7SKd+DgbmuhKGS91oo2Rb0yImk5
/84zV6xY/fAip5LfsEXYzDietecOmGabATVipqWp3bYnQE0Ae6WteP2evpmu7iNc
yDoeT5QgAjRtiNC+2uVTdsY4lihV5Vo4XO4X9LMp+KxDga+eiRzvUAoul5S60+ln
q6Kl+Lce2v4YxigwTrr5pa2WL1CDRKkvoITLQVXDlngeXMt7Fxu/PYfzcMIBEXJa
/rPZ9jaAEAP4hKWTVR/qE0qXE99hsTnz+Zz6oS/KluYWdvyoEyRGEKsfFXhKuuJ0
lF2K+tFnTtKdmCPvlSvZHmUa9gyHbk6bvIbyHR/ZsLolplcvMAoBTfxmpk9CfGYX
tqSdkEfWWu5yBoY5qZnPMyXi9q3rNaj5vViGyxFdlnNQ5qfwPiqVIs5f5+Am2k57
+ELaaSSRHL9vsbnNwHrLGsHSqMDJzYetrpdxgY6jFs8QmAheuV+KzadznhoSm15g
Ci+JYcs3B8GGywpCNCZeE8A+97F7/4ZwltHQbLEyAZgibS/dtbOy3if9h0vaJQVk
VxGGyPK8SD8O4Ce+7UIPX80jgZJMMs4Hx2CJBhVpsq8Eu1b8M0M=
=Y/EQ
-----END PGP SIGNATURE-----