-----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-1build4
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
 76bb0b4bcaeab88fb08c548760655e3d84b7ffe0 3316 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 a1ff2dd5e50aaedeb6552fc027341cd0c29d7248e5f7ef62a4c45cca369bd4ea 3316 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 8c1f6a5fc46e878c3cd62f321b708312 3316 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUO/EACgkQ808JdE6f
XdkZCBAAt0BcAPOuRSdhA3oYDccVF8m9U3WuLo1kUuleW9M97Y0HkPZRuZWI2pZ+
epdo96gjwhE11vW8wOIzBvynjDnpF7V4yMIpywwpFi9oXFerJZ9hp0BDsNz9p9ZW
w+Ys+1t3hbkdbSr4PvnLpzkZ96YmBVIvmV70buUod4+bJAJxNyQKsyDaUeZMUyA+
39rY9NxSpPyTtmZTX0qs8tCUjVLj3CvmVA+y1esQK1xxDKsl+ueEiu4dGoNT7TZR
Tn+AM2VkNjK/y7tkj16sMAibxhrKNwKj4IOxdgMy/ka74kJQJFVT7YBezz8zkA0+
ieuzGKXm8hj1ONuzORLF2ZO5k6UHBxA4ftPS1ueBIVLHZxh6bpJHWsGnunhAIqgL
G9ytV71Dbaal7QBhevu3F/4EkmluF6vadZw1BFEH5l4GGWzf0Df81FkTKx8W8v+w
gxyFhta6p+uz54/8IFgss+VW5K2alPKqiW6BHHcn5yeJqrkOFgkieEsOofExIvnw
7xSZTNROuJNi4ioZWgtRC8M+1IFupBoicPkpPc+3TTmugkXyPZcZ8fTeywVg0MFR
Si/f2DmaujWQVdbeRhxgL3aRPXfo4wlHM1LVEZMbn6tT6d+9joRGe5ZqcSaDAPKw
RnOBDQ3MA94GNMNoVsxVrGSuYmOc8Q1vNRbkgbmo2QLCptJzsY4=
=lIcr
-----END PGP SIGNATURE-----