-----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-1build3
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
 176980ed12c55bd2f743526c2440bddd99c61e19 3292 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 09b5a4266e8e4dafac5d686e5f69e787182a72ae8ab395db83ce7a2e26c92ea0 3292 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 b246bbb235917c4813d5eefc468385bd 3292 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058IACgkQLIPbyOm9
DjdkcQ/+Pl8bU8OdX0vo2H7Ux0nPVAWSYd1FCttSWDpNaH4xy8/Ng8o7WYEo//w9
Bk11K0wMw2ieUvGq0YqKZ3bCKiwUyYZviynVpWb6eAGt656YTo30e6Alz44Drshi
4iTe/Bayc7qLQtdB3Gv+ZQrJJRmKmWHCiMlkHyQn0lgsc6WdoPj8qv9dzNe4qr/G
pknecxkdE6ZY9NFaY14ZFE0u1LX4ThyMs+1gXIPXSpBraYXq+58HprpXo1EIJ+bA
edEJ4owOtS+yv34E9W2B6gyro6IhZzKBD4ftbLNShv/MiZ7wtyAW0UwFI6GfFgTP
8EuFu8QPreWIO0lj0DgESJveIF57VDoSp9h+ky3Js4aiW1tawKG4VsaFhHz1nyEG
vPkn1ibowczouJs0DvCxiEHAHttRYJjRSj3flAEF6r3cffMj1oh1FDS0cqJ5fRIC
SQsLNBTomsqSpdclFWqYzSt9vLx8PSpmpHrfJGz+FVXHB4yRasMQpus4ThxallYQ
EQF8mAZTbcug1QdUgrpwKB474pHdNPuD8iAOM4NL1jXXMODjW57UODzh0g5TWt8G
4QW5iYIMnraavIlPbJKoj4QoLO6wjCdstMrRXPQ7Fxbrv/XKNAH2wuDeGgPh5JZQ
eHbFN51sPGp2+nl/EA5ujbbCnQbIUNwE1q/gKlbshS/4rPPxgdM=
=55WJ
-----END PGP SIGNATURE-----