-----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.16-2
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.1
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, 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:
 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 7159024a77f7a6a8ccce889978f72f13c0fb206b 2744 coq-dpdgraph_1.0+8.16-2.debian.tar.xz
Checksums-Sha256:
 eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 b83bb6e32a0aa4b76cca6bd459432b27d5cc4c9ff231915c5007956a602f394d 2744 coq-dpdgraph_1.0+8.16-2.debian.tar.xz
Files:
 c755ea46f375e10922fa72c9c98c28fb 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz
 be73ad7c29033ec81e58e36e1b041fb4 2744 coq-dpdgraph_1.0+8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQz7ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXOIQAKWsCLaSv8G5XocSCJfnRAHM1uQE9mnb
7T0MWQ8CNnB6eO4XmzPS9c1RYWt+rydhbc37GUu5pcAs27n6HZEb+Cn/pySp+eU0
A6npT8zsGyYD0fYcb0l2ochUzEUk1gMRyeIISzgbykYrId+DZ0MXp567Y7uM4t6c
YoL9/m/kKgmBbm62KbTQzwtjRi9EodcLXL+WhnD9qjVaIEVBv5j9YFw5YrGZZ9aY
MylMEXe3sUjdNjJR1KwZOLZxiCEcCPGCxAyNIFBe6BgZeHP6/Z41E6786w9D/g9q
iv1MPeAR/NUBKMXdAkJhNB0W/MJis1q620O3Otl2koUQRNc27pVs3p7LuAC1r8MY
kX+0uZFWHaEnlK3J3uDoXNyHP1EKPlVpaEV/MP2rJ/b42h+qgRVWwuinR+/oHVD3
Q+mGtUYhXzaNJKZUsW6LdR3M5LxC5vB8G/eaQlqiFW+7xRbCbCSzXfOpvJL8KMXa
abqS8TsaV6Q4EzFZ5zPoevX090NFKigLjNh1uhyy7Bi1anlMUXYGmH0jOMJhdd//
z5RyCW3hn6AS0HIrhLXestUvw7dtZA+8qhzjezqbYja6tkUweXqKxwfjIlbiCvT6
2WLxcrSSpME8Sq3YnQRoW8kKjUeCX7FnIW7NwzUMPU7HYb9wvCaasgI26arBbnPh
LSKR+aikVHrz
=1BWz
-----END PGP SIGNATURE-----