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

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.18-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.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.18), 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:
 75cb69defaf780e34098b3b88775b3a24aa839ca 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 e772f4038252598cf00ecba54f205ebb90bc109a 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz
Checksums-Sha256:
 c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 219dee99b95227aa5a99ccacf550c24904f77ff418d02e43b7a3798b58eaeefc 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz
Files:
 c3caa1eb335dfd62a4431769473e35cb 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 42743c021c00e9c35497347f36b5b20e 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESlcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRPpQP/0ikKNQAd8/UJ7WjG/BwtWc9RDu+IQyk
vRAXZymhsbBbxhqGpSVgGHehy2KqaE/+HGex2l+jFDzN0CC9i8gl6qgy+TusAr3S
k6/voJ7Fh+eV2gllwu3/juZIVRXYOQadbJoFaCZ33bDwPeRHgxxqR/7MXcRjUko9
6gwEgM3tTbVnb3ogN8fgUeQujqOAkGN6DiOM7r8mTP6P8PJxHGaa13Hp4ahyrbza
JbKOUtnadL3LNQWhpuSbxvktWA0eEFt1ChA4dMD4zRGnuSRXk0jq3u+WgAATVrFJ
Vhge5p+4YIkkWWNEBzRojE0mPB8xeyVSXUkJZahwCevOIRKCQ5xKcz1DKRN1uVKh
nrNWJtnD5NHIdgTVUF3lWNRoQyWb1FRMd6u6gjEpcm7t1y2DavrJkoJ6ab58fPwj
xjJShwI00p1QBZOgBathOyYaLaksown92FN7p4XJMzSVJXWHbjayC0Mhud2o93x7
4C+laqANgXT9MTqwZaEbdbuyUE1wgA1kVRMYfkL8fXA5rdE9KtVHl/DPcjjOSu0T
Tm+0/q6mGKj7GeDaVDWF/t2ssbKGohWS1L9XM9aYGaFg79wksIqJrGenOCBp7jlC
9jiP4WrHAeN+pZebocRLdoIMgc0U/RkkNbhDo4jhCCQX3PQYYtmGqmUpNxYGz32E
fzLxp5v7Q0bU
=RjQm
-----END PGP SIGNATURE-----