-----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-1build2
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
 19cdeeff2ab974775f14f90c2dd0a49dd4e40093 3236 coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 4445068edd007c5f73589848510111850832fce13f00c895a462f57f9326cb22 3236 coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 43684e17ce21b35c449c3aadf6ab2d7d 3236 coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeufvMACgkQ808JdE6f
Xdmp8hAAoluX12EWQLv+nW62r9yZ9mt5wMt5b2ZH4jrS8VcMvvPqXWcGVLW7D0+i
twJNvDYyk8+nk+YWk7+7EkyzXYWswAliF3DHwIiQPDbcRt+I5J5DvriCTD1lJes5
H5Omm7Ygp49ziz+U9W3UzF+cuhxPkFpFL+JqsFPXxjnAV4VKs9al6V4ulij6SWXT
mwr1L+PBRLjrNk5vbcsALXsiAZBfnVaXNenJbDn9ctEUG1sFbR6Z6ruHGukrm7uy
kkyZM5IJNxb5xEn8sSMevRZTz+kzd9Tpccp0G/jE+fxunowBEcvIHAl5R2B8Soeg
aAlCvA4T2JGphRtd1dzoEamq4YrxTbqOwUo9AfvYqp0DJKCB/Tcn6UH/6rpfQE/6
WrV7sg/z0VChPsDJuktPY45zsHZLL1XHDULVHRPz47/M9ObsunV7GE949K8ULtRs
30mjNIwWKVNoUTDVmBY8rZ+rfmULsu8z8iHG7AqMMMDhSXrOe9DmcpZCezlAcJEu
/IxwjZjHA964pL3FiRvh20T6VcI4ezTWh3vs21NdgAoKQhAE1P/fgrsuYg/zQxPF
viZv1flcNFM/MOTJFq1P4CEA+sqjKrnAkfyacfQmhchQ8j00n1nNlWGZIr2cCkPy
pRSfE70lCwfyz0QF7ho+LBSflrRQlPWhIhjmssaEOjGjgOPZ2Q4=
=3WmF
-----END PGP SIGNATURE-----