-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+9.1-2build4
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.7.4
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 (>= 9), 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:
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 3c1262fcc7afb5c18ff5ada8dfce65601a472af1 3280 coq-dpdgraph_1.0+9.1-2build4.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 eedc06dc08e595ab482cb764bbfee66777982f543dc3d09c417b5b5149ea2f7b 3280 coq-dpdgraph_1.0+9.1-2build4.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 ca25d7f37375ad24a046cfdd6218f02b 3280 coq-dpdgraph_1.0+9.1-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVIQACgkQ808JdE6f
Xdlc9hAAxUgB7h7Vb5BObDkVfSwtkqPxwD52JO7K6pL+m8kM1ITQ50jol+VVBggC
fEmSHDTAyTnlO/lTh3e8JYDUT5cSZywLwOQenFy8g33rr0wMO/UP3gGinJJ1dKtG
ii+786M1nk3JbotFDb44XpcG3ktCIB+QuMcUCTeOMBCHJJR3VM3+cPJJ1ieJ2Pj7
o39XEesq31/VKHy9g4PA3h9z6sniwtD3u3IJ1+V56/EtMyY542OHb+kQw7qJvYc8
FmriVhIJcJSKqhUv16sFxqYS2ujAt6Qc/FyX54eZSFfaF/+jkvN6dDmSoUpkcTbh
27xSeGVdazxL0RMgdWV+4pXInMDLBrJRSakbtTt1f7mFY8Jkek8YyShAz7prRz8y
xXaCJNeAjb8BILeOwwoq2kxsqWAzT5oazgf+2bVNBMj2/Jl+cGWryj+P8B7NwJlH
FlVx7JDAFGxs/OGMz/aEwhF9bIYttNOf0AjzRRycD5VYlz8sIFna09/AkIAYcgIr
zKmj7BnVOZtwQFfYeuEosU6f2QnfeKzNZ/+3nEVmqwFNg9w1wJ27dhw5lJp4vyt/
9DDb2olGfGb7moVACZKoK694nAPmtW+JWJ9KfSJ0I9RtrY6MlettBel6X+TYtQ3x
z0LX089gkVz0iwvsRncEbvjc5TOarxQNUs+BYQjkNQ+V9MlKj8M=
=auIn
-----END PGP SIGNATURE-----