-----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.20-1build8
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:
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 87cea8f78adecb3a9e4d1a589d646f33168d9a43 3440 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 ca1f7f144f79222809ade517d0b5a6d99299202932115fd6feb2425d409359f5 3440 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 7849f357c2fda55c428e8a989368e541 3440 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmn15EACgkQWWH9vpxh
mAm2vg/+MIEXmjscqm6++uIJED5MlpC+ILEcWOEYTegFrvjoENEgm/TAjZhu0ukO
OEf0CMG+DSer/Nya/y9vSDyaWXd0OXQ1TIVgXdH8ZPeKtStqLfl6lU/3rGZkJItq
rwzqScbcISDI4lnVUaN1vmpCmAx9IkfqOOl8iU7TsvHaw7JfEYIaOka88Yca9cgZ
zLzPnm9cO5vTpb0tSt+V9IQY/AM5CHGSeuzZlMbJaPKUBW7JuXx0DKlUlk3vuEYl
UkltxTugiDObqvqf8gAzag2RDRi9SIpGKejN/aQ2bK0Kmpzk9xnVA0ytMM9c0KaQ
BKefdGTAcfJQ2484iYJgf0BOeltxB79moOFFecZZV2ZiK1mGaUs5SR+Vqgjj3L06
bFktV50bvJoZ0waYGpp+A4lrC08bqRhxaTJnyqjiTcNJkwFGig28VbMys+4gWdgS
4ZBG+kJdTgvogY2NfGZZo1cRNIsZlz15ZjZwcHZqzGML2wVGQMSvhAtCcti20bao
45WT21vbTuB0Gkp1pSyLa/Oi0VtEH0euPxbH+BQ4bUPoBhqJFvsdTUXwctGbM397
REkd5diF2pCeFCkYjcv4UdWsahqX5q8uMAmOTtZIbQx+P+eM3OlgP282mVUrzQ9G
DUPvNOQwrOq2d6eri/SbLZzk0o2zDQVCad5lRr++tlWFkc+qmpQ=
=gtw8
-----END PGP SIGNATURE-----