-----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-1build5
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
 e8879c3f3c32df0d7c16c3d0e829d9e1737b28a6 3336 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 4907c081db0637f8976edfec721a3a1852f3a5e0b3e52020d2f7dc49a9c5d48a 3336 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 34b6e9cf963c2c0cd4909cf038f80265 3336 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZWXYACgkQ808JdE6f
XdlwDxAAwrxNDf8rkooBkLKA1r3rcXRwjJJrtxbRxv95NYo9394G7jOiqoJa/Nhm
Q3LbNTpmDDcD0vQslLB+lqNsrvK1Ly3t9n5ePwvT33Lp3iqHhkoGrl6BKdrWBkHk
xgBqWh0561+CWMCwBwF7aaA+WmkWMkTwfDN2/X2yGji3+CDM5/t+OqOnAC4/i+8S
Ci8/Z0tDET/fliD+n47Y/gyhhsNANLMW5ptxPsKiq6A3ABcAtSTBjRbXdze5Me1y
3yVW7IvqxM5ccq+AnAv9UVLvRg7lK/FUxNJiVu8OfXV5GmRG+RyU/ma6LxbzwSBD
GTtMQlsrK2ybH6uP/8VJ77Gys6HEvqqJLKQQqUeUBE6xqyWP+FTxqCVHur6fCaCy
HB6xMFehU31zy/HoIA9Jejfo7ivaALhteFZHZsQA1DEhqSwyRzf5mv/aHkP1MtLR
isvM+UpxF+aI1FT0HB95FC+TvPGuq3keKJAOB/+MDnrzQUan5GiYDA4aZkGjOWhV
yNsJgJ7lE7qcU7lr6eMgCnpDX3rbqerdV3sm0CYhplDBC69wP8skGNk8e1gVDiHk
BJu0b6sKXqBxm6dhWdF+2Kuk2kOWP753t7HD5g4Twli7jB0yPUMMGNnPpefvxI0V
ryUjck/tv3C9x55AFCUVW+DVztrof1D9IXa/UC/HEZ/1nDTIAks=
=Km/b
-----END PGP SIGNATURE-----