-----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-1build6
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
 134a5f96ae8f91b8a5e71eac7f0ba72cd2fb759d 3352 coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 a6c2afbf80f2fa85c8a56a8de547ad661dfdb75e06396a2d10e3932cf9325289 3352 coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 2e99f6ee887b3f6b5e181d0fd4161f62 3352 coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s4QACgkQ808JdE6f
XdmFqhAA1kbznHrhAexBdXV5zn75YuRzNgZg+SHiT5sIi2aPdQO/IYg7AFSTe9zC
7OWHZyPA/fiEB4nJWRmp1fra/Xa/Hryo0AHKAwtxnPJptLiL9D39noEG1qXCA+db
GkFWK6nuscqI7QZteC0HAXBR0rEIy/qk8nxdAmUrJQBK1Hnca5Ur+JUgSUqAfYQO
f4BSxjafX38LmcHMQbpsFCOpE/igyWd+Dnp+nGOxob5ZRAxbmP5O4IrNCCgjoEhr
GyWjPc7iaP6NyhD/e55msPbf7jtjyu1QC5RX/1K/ahTOUFOONvOeRz4jwIzvfhQ6
gACo9ZlY2QYotMO55BwhEQORrgqFgBXXOX18eFvvwvP7rJIIkmHCisirv8TvIjWH
Iqtr1SAyVoMRKJaCY1uW/n8mkxQTxOJeThJQMmS4fAzT/SsbA0F7YaNyRnagp8qK
WQIOo19TfuwsajoQysHBTfddrMv+10xH+mgB0e6LcG4SHhQzTw4Or2rrlg+w8O/b
L8HYP7LBuiYtoaivusEayO1e9K7Vbj5LKu5M8JepPronZxOG1GRPCUIek1H4sHtD
JM4W3rIVPsQkAnV/NBsa2g7kDj3ZHuQSrXbo+9GG/wWtPFxYIawzDlq6VpkiGpPg
R5ixza21d1QjwAbcTCNhzuf5yD15LDycOhaaTnNq+nCh7u0V3Ak=
=qXOX
-----END PGP SIGNATURE-----