-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Architecture: any
Version: 1.0+8.19-1build1
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:
 cbbf9bbbfa385a3f2cd77a020706aee93455041a 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 15a3230f7a24c8895d8c2c7394f54b924efdd868 3124 coq-dpdgraph_1.0+8.19-1build1.debian.tar.xz
Checksums-Sha256:
 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 960eb16e4520e3410826845eb3f51cdbdaaa1a6b3aa0174fd21a39db37a30708 3124 coq-dpdgraph_1.0+8.19-1build1.debian.tar.xz
Files:
 b7a44b2aa95131ce2c6463ed9d49360c 66193 coq-dpdgraph_1.0+8.19.orig.tar.gz
 330b68d554f3966e46eb0e551441958e 3124 coq-dpdgraph_1.0+8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpkgACgkQ808JdE6f
XdkPihAAkB88IoquDhrGuqdnRvN0+TBOLkWmcjj4KlaY000d6I/yFRSr0vGGCKp4
MwbfMlZk2b4OtDVzY59qK6iozSxVdGqNzxmAyMEn1fJtcQTrPAl1UX9XJGvLsOo6
7VG1xBdYDsklojcQ/K/RODWBuqoupzlRpVtxRqJdSRBfLUvOGxzb3AqL2jhJqQUQ
+D//4xVluV0ejl75K0H+WPGHI1oQWkcJVlg3IwYlIbXdJIGa4TmBV0/spZvxkZnR
4+QzhcdJ545JmKiGU6rtopa38mjCkKtmp09YZiItcDk0YPQ+Bu9LuE82uQqP/tfA
ATmRtxsWKbUjs3heBl9V3isxffEVTZZ7vW1MFK8ebnHVHRwRfI8SRAxb3SriPSgL
z/igZQYTG4aZGQVmbd3Oq3FrzsVut6tc0lZ+GGq1/AM8ej+Yg0wESki57+SwvvoP
d0Z2ZpUdEUcMSAkVjq81ewQBVl+g+CZafW0HJ8MSaX0FzRDYrcCFjh84+cegmdS/
2LaU3xNdmHWDI6W72DaW506fD88sfC08v7xKNGOTRwfaM6BiX33dpCTSi57EglOh
lrPADQ+c/e8RrB9DKKqIgFG3voNEod7imDKNRPJ7l3Ia9adlOVVbzVF/Z2jbT3i/
rFm40wC0dyndSoveuVT0RCrrut6fGnfZZPdpoE/n+9En3dPdXCs=
=peS1
-----END PGP SIGNATURE-----