-----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.18-1build1
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
 1a798e5f3fb8ce8dc2d45f409d2e10eb5ead8cb4 3168 coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
Checksums-Sha256:
 c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 ae467f5a55a26b9d61a26fc896806768c813101129ddb16f3b7ef355f65e72b2 3168 coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
Files:
 c3caa1eb335dfd62a4431769473e35cb 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 b7299e08814ff9a39a48fedc417f7a5c 3168 coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cAQaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz22SxAAmwGS5fRvAwy2xlIDrpLc
QTT+ysUnAHvfDuw19EJDQ5dTvE1oqwJWmACCVa0bnUYEvin+chnGPs24b8ekxOG9
8yx73asFod2Hq9FhZBxfOXrQPmFHEbc+PyIuRyMzHWeb4rWh4wzrgnaPkxy+Gu3C
A8vm55UW9TFoRkKBnpKxnyGAD2kzg9+6Zq4PWXb+S3z0ErrArsF6g/HuaTUf05Ze
nrnZCzbIai0IL6d9P45GjPLcKGNya0bS0OG5fUC0BXD4U9uFGriMVIhDgpEjm2ke
REOc2Vkf53sGs473qAWIOw0kCBvly7Rbmyh1qP+eIbNky5Dphax3r8PLtoYoUWFW
Ow8Jsvi5JUEUP5RveHvOonJCjarbCebQlgb9YauPa7GhUXXcZzNsXG5h8meXa+60
PSCYDoQ3JyOtUKZaYuOFwQBQrQluWpqlB/j0CjOhnbMg2+Y51aZLdX9osbvHpVFH
T1qUKPf8YNwvBifPEe7+jRUD/Sk7RwxqRJSAr4S72l6Bmjz4ZeH78ax3r8VIJLNq
kcqpTy9DTrKtCw8mc4N1BLTs+V6KXIshsF+J/r1HpNZM51BIBptxvfchuixUUQVA
FKCbxckRrz+yAMNwsMWMsFgFtFmem8rskkTZC+n5K73LZHoSwZWSl+w3s3Aowr59
IAR0RYC7BLrlEZfhyg5UCm0=
=f43R
-----END PGP SIGNATURE-----