-----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-2build3
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
 097b62ecb7eb63d884f98a92d142f848f76564f9 3268 coq-dpdgraph_1.0+9.1-2build3.debian.tar.xz
Checksums-Sha256:
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 3e29c8335961e1369a8afb5653fde76aa7852a558093ad5d74161d3258d9274b 3268 coq-dpdgraph_1.0+9.1-2build3.debian.tar.xz
Files:
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 ecf5e674ee9d251047d91f92199176e6 3268 coq-dpdgraph_1.0+9.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0M4ACgkQ808JdE6f
XdlSYA//d0J2+fcoqL/DK4nCCtDuvRYh0fRZqlzuUInd6Y3TfB+pEB8d7l0g6yPj
NUkc8iVkFHD+w2cUN9vQ/Nw0XdJEAxcw2LO1Jc6BJaVule5jFrrwx7WubTnMT8V7
H9aHU2YIwNx8nm3jgCWK4eBTXefNep8elINkZtbGQlEoLjD8I8Ko0uYwXzihwalH
iLyQee4PR4AyhB0PF/+t3a/cQFYDvpWSy1cT7HkjZ1y+58XNvRO2roJYf51HZ8wv
Ak90pHdpFebblrouTzs7Essbyr3Aev8MljTp4YJfCOPTvnb0mvKRH77iHaiJaHXr
OrI7GvbdpVMueoYqQ7qs2H8HrWZjCBJ6J68PUnGvhqGDq9BeqtF0vMa2XWmxigR8
zFFQfirHb6xl/x/8EBohNwbKGJTxkguhyGW3fFYwbKH104lUk+xSl+y+j72g6agD
bxTArvxWLw3MFGA0kT3oWGpU6szo15u8yC2LWBRZYMYdsbH5hm80rPyaXyarjzEN
NHALvldax+8kvI3vSuO5zVOBu+guJqHNToUhybG4T0Ib5tMuyXh5aDMJBhLKAPOz
ULsiH98nBNF5XWszeAsj9rO4/q16W5x+R8hmfRC28xZKj19NJx8ap9WpuhuCcCfg
X/U02nglvJbDlLf7c/WG47mhropjaaP3iOlNUJw4glKmNSfLMKg=
=eyq3
-----END PGP SIGNATURE-----