-----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.19-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:
 cbbf9bbbfa385a3f2cd77a020706aee93455041a 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 332da8a9a66c44d145029a2d4680be5138ced020 3064 coq-dpdgraph_1.0+8.19-1.debian.tar.xz
Checksums-Sha256:
 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 267567012793b5dd8faf6a6acd9b52d8a15f10c592dd39b8b92ed1ace8fa1445 3064 coq-dpdgraph_1.0+8.19-1.debian.tar.xz
Files:
 b7a44b2aa95131ce2c6463ed9d49360c 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 1ebc2ffbae172da583b5f356aa1d5c45 3064 coq-dpdgraph_1.0+8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrrmkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRf+AP/i+Q0CkExo1bkZ36euOZsr7yYrCc6Dz3
JSG7sENsWDwqS8czGfLafC3CUYjYhz3Kpq3XpKaShF1sAnjJmB3AvrJ9Zl9U3QUN
V5F8Ctcg/O7qktd6n5wVC0N6HAmmIC+CXjG1JUtPD6rMkTPoB3cWc/AmlxtsMgTa
HOBaNKTBnz97UDID7r8yskeooJkX1yAyTD4seftEs7OH5K1UQq2cL2QmhYW/SEII
yKUNpbnwcSl83IA8r3FkLSiE16r2ecVxysVf7HfSqODDnsZ5IN/YD1oQqMGRMQr6
D6L29TMzt7KN7wHrOODI2U/bdGx0LojoPNWwfTCGp4yRrm9KM/58XrnskE7zO2Ni
v9BRaa07jZSaaS2lT8A0ghtfr17loWW1o3KIelVzMce7/X2gY57F1kQmyTL5PCpZ
ArUuMzApTmt/P//yknA2PpPC80659e0Wz5/wd5gf7vkPq6yKisWgUF9hn0Cg1GY+
BEmx8K8wgHkbAdOHnseeqYXqUyamDld+MCty6y94iJH6JefPCMgvNxrOtRMHIhrt
uFKNTAO2mpwhWjH2EfkLWzG6iha1kopjtG+2NCdWR3n/0E4IRnHYpPOkvgfKPNYo
KH/D1ISt37WGFpzNpEgFvpF0meObLdlTS9zwe3VNGSfobC3WP+CBc+H06dOjTLDp
xpGjrCVd+9+/
=4JaT
-----END PGP SIGNATURE-----