-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.16-2build1
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-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:
 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 df515bb4679ba2d34c24886570d1551a2230eb51 2804 coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 19c147628e934aa14974f82e0c20398aebfb0c1c03ae41827aef5aefe2c33912 2804 coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 261067ed0282b9a92a17bd17bf318636 2804 coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPTjq4ACgkQ808JdE6f
XdlbphAAjnsZ/5IyxyypQVCCRf7nP87MKPJcysn3CNJ6hWivnVfiQCWJjbo4e8vB
SclKikSxICxM2XGUNU0R1jhLq2G9v67i8scdU7LJlGgQAkMKk+rctx9pVySriOOo
/qIhcPtREHdcd6zfopEjz/VWrw//SDm+DaYf5Kec9Uzc/dwgija7n6OV8NScFaoR
xIPSzd5S7dnY0zfP/UNeqrzAq/o17q6X4nGcpSpmvmC3dMw4ElX28dgfL6ChwQav
d35Hd3ZSe+rz6TDoRFzqLrghoIamQ6uwn/4cr8h3sXqPXePUIhAb7l8SrpJpOQzA
AGkjZzjQoI1upV4uq8EfPcGgbF6H8rHN9ebe0Cu5jFo7+0B9uN96LCqZ1xlnB9Hc
bs0afNw2wZxi0Mg9q8IU8kiEgfWXtlPeZ05Zn0jlisFfLroaI8IbTecVM5M9pypx
F6KFjJf4FHTObZGO4CdUg4wBjvdxqu66ijZWB58ali4Vt40IjrEBj5YdNwp2QASM
Na44RpyrFNQa5PjTyly540gdTn/1Eq1xgnxjL9azQpS3zzW9JKVWVMfpuCRVFkkH
Zaxm4HdbkGX3ARi6rbFKMxkYFtBoe6FXTYgclR28ZB2qnZP+SvyNn5+KdIvn8pWq
IO5mg+G9JzeTYrCclVLgB8VCrzx4Fcsr22WxSCussHsnht2GMfg=
=wbm3
-----END PGP SIGNATURE-----