-----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-2build2
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
 cc2ede0ba7288d40c0f2effc503af6d09a61021e 3260 coq-dpdgraph_1.0+9.1-2build2.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 26326b74292d2076939e975a1812ce17eff3d20c5105e86fa838a94805387f92 3260 coq-dpdgraph_1.0+9.1-2build2.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 eaef4d9f9db3ef6408c92d8fe572aaf0 3260 coq-dpdgraph_1.0+9.1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQoYACgkQ808JdE6f
XdkR+g/+KrNcQpXCNBowhJph7y52j0S0JXMwZVI3xK5abYaQu+oX4UTPeadtvBpq
DfnTJnN6iHU8k17iquMeObMMs/TKaLt+ODDah2z+K0m7lWb3PXlQBckROA0RQQDI
CxccFX+00xd4W2xaOq83anYlMX5fxqrxnfCHQ88vU8iYjvJxjStOqPRjJKOjcP+Q
3dVdN9Hasz8xLoV8B10SQ+R+TO2/G8nFLNzLFvWLl3s1ZDK0qa8bEezw5J6vkofA
Ku/oZHWD+U1KwYIPt6Y+MtUD4qfZGGt2Tg4TXYgeEyh33OoFIzl2K/DGmmtaxTa4
cz6unYkPOIkqS6h99Kwc5ygDuAIMgkH6mUfCHrwIQMnC6vjZbROC74O++1fEgBKA
/wujPk/G4MjomgY1byI0qpbeupBs7oF79JXXuJ0qNAOnyk4IQZp1PfZA1WugWmeB
QL/kkZjQt5YiSS1esSwdJBbhTsWXjhFitFkFowFOXrkurppxyHrH90WSy3HLtZ6V
xrZPFOYRyOxjyrzzDbVFzXeg7DnQIdgptP0GEZIGo3JT/z/mov4V9cpSLgpg/LuI
fkVJZWtJ/9J0MvHmYnUW2k/2JIcJ5AHgz5f5rtivdc7m//gW0NuHxAjQf5Dpi0K7
txhqdTkqko8A/6bpxeDcHiQfxQlZ8uXxrXBu19UbpdibyfB0qz4=
=ieaC
-----END PGP SIGNATURE-----