-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 75cb69defaf780e34098b3b88775b3a24aa839ca 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 5cb72c7078312458c96115b33503b13579a24329 3252 coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz
Checksums-Sha256:
 c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 ef59149aeb5cf549f98cf48723347c99d57e49c67e9a5fda2735fb5bf3efe0b9 3252 coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz
Files:
 c3caa1eb335dfd62a4431769473e35cb 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 30710cb6cfca118ade8d4b9400d14a6c 3252 coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmSsACgkQ808JdE6f
XdkX4hAArtnp4RVkFyzr3rCPgRlHEusLcGl1yPsC1bn7uG8rQrzXderqHu0kImTS
6oNn9qhd5MHmoP2apQplGowbNQI9l0r+GYydkctLJBEW8I59CDXs3VEiKM7qb8L5
z2W9EjUNyileWW0S8AHUvizJbKTD7iOXq0marLe9VIhoEfBP3kHeO3C7ysVKdr2L
JT6eWZ3Q3GU2rrTAfhei7BEj6rSMMHEZchHQHKlIV+1W5NNbx/4M/vp7q39Stlz5
Z40e6nCbvBisbL+02Brh2Q7J8t/Fe2yTYwyxoPzaL51zUj4a5CP8oOGMlyM2iLMq
u+eS1Yf+3QqJ+rADjama0U3mmsjZO9d01gXRoR65rCDavr3EvR+VQXK8CdVBzNQD
gIL+qPhNX37ea+BDbm1NywkcAAeDwxTXyN57oHN5UHhbGUtxgDxPA0d+LcCSXRrM
BAb7bXCcCombzzChJQ4TgT+NWy6u72ayymJiQzR+Maw09FOEqNwoWmTAFCVhjzcb
FPQks/SYaXRG1VS4yofQi5uzRupw2JnQ+NUjA0JiwnKYL6HuGXVD70IyTLK2ysHN
EEYCaptxF/kiANIO5VTPk8Ri1aSmc3HySOB/8zssMdJGI5AV02O1WW0n9Nw7lGXU
Z0EF0joBUrG6BFqi5sAtlk3I6WyMZb0ZF3t23Kqw4OHq4Wc5P9U=
=L9OL
-----END PGP SIGNATURE-----