-----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-1build9
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
 b989721c06479eacb6e3c31a7a9f5416c9689714 3468 coq-dpdgraph_1.0+8.20-1build9.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 f22344f8dbc73065329f225f0c4babf87f885751b503207ba51bba74491eae24 3468 coq-dpdgraph_1.0+8.20-1build9.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 0db950cdd5af1fdb6b137917dac3c08d 3468 coq-dpdgraph_1.0+8.20-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYS4ACgkQ808JdE6f
XdmHoA/8CCHyoqZ/FdWwuD8TN3FM0UfNwhzO1HbRZfeV426xsUVc6GmjD8DKF/mV
Q9pwQOzLoCVV34pgoHZ1gEV+86rUwS96y7X3gbDDm7bi3KFS+gZgCdVMhSomFcZ5
iG9srUiTWmcyig8coXpVWUMQNmKPJJ0KXe0NADGBRO/2d6+pg9OAomvWv5aRym45
hPIeKB5Lx2WVgcZAqhqYcIWmsrB0Q6S8jNdtcT+4Ro649TNiyZrvAIJs745ZFFN/
Wq7C8SrUl8blRA9oC+hMLVXm0yXCp0PV/eJpalmc1WX5hMZfrTtRhuZkS7/xxGNi
dwasij4G11ba07XijrYSVG4gJD/5Kv7tpdOZwRyqR9Aat4TJGS/s4+8qJVq+PMU3
vHxRjM1mRFmCV5k2tivBfVAvHEHRXKyESQY1Qj2xx8xyamxqpeWO5jLH15S1UhMz
9tnTZdcIkKsuc+H5ZwuD12RDlHdK3kfeiJuEyy55i/JLgB70qKg9G6sK5bifLXu0
LtC4QNR9Cpx046zrCv18twbEnKF2x/nTF29lZy90dJ0c2MAMWHJggz+cTSuXQSpT
aj64DVlwcznXmF5ba80lPWBGFHDfUtO10vmRmLVUK4zr6YtqY+XCyxxmPoIfpYYt
6YJvyq90meDlzLxAggPjr1TUGxcmWIG5CRXDYlDdSrxX7WijTJc=
=Rkbe
-----END PGP SIGNATURE-----