-----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-1build7
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
 714dae6a83b7fd63b6b3469b0ffd92b1248ac1cf 3408 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz
Checksums-Sha256:
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 0acd1a0b57e9220ce50c9aabc548781fc1e86557c7cdcd4003fcdba6a952b1e6 3408 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz
Files:
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 d006120098f4d48b9c55cdf105af6035 3408 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmkDbgACgkQWWH9vpxh
mAk+Wg//XfcsvlEypphxoxaQkKxEZ5P578+GLeOQFSe2yYb0jP1tV0koPOhTv2k0
aWz5/FI1oCeow0O9hWdfNQ7eGdB8ulR/qYxaMRwNZ5Obkb91d6D6zEaK/mtmdbLO
b6jfy+/t9JKft06neHCm2cxsV9DBn9XzIjNj7thhPOy2lhVeu3PixAlDcDVLqG/C
JdNGyLX4rWyMSt2A6t8uBLfnBb2/YVKO3gcw9KL+Qj4M9Z4KPkMXxwfenzDIkJvd
/apabS4PGOBz+IPMPcZJhQAiYwOrSdBXLpi75eH/X1jrzkOQvVJLubI4pg/a9BwV
2PhxZt9C+XK3xhABsAgs8rRhnAEN7CaEk4JAKxpPFZR+xsONTRdihpJDtDuw8xt9
ztTwUnSTkM/LnylFVaV8NaLYeObSV38MH1OCjNKiL5u29ANxheSKefkAALmmw4Wi
DXz6tEe9G9/DBuSW98TUB3L2vWOfnSi6XQqeCHS1o+/PRAVuOIEasc3RuqESGwEc
dfs6djf6AZ6HeX6Kvy0ohHf7MFql5w57yTrteknTFF9JihdEzY3j6LZi/buq7Qv5
9FZ4G1wpSoDEyw3d6wUCJLF3HpqHymnJ0sDdykzcUP/CDzHu6XCrwifV67zqeI0W
Jbmmjue7SAyaQI6piwWoAaPtAojcVIYkg5h5UUt8QrjdbXM0h4I=
=ZSBM
-----END PGP SIGNATURE-----