-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-3build7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/deriving/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-deriving
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-deriving.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-deriving deb ocaml optional arch=any
Checksums-Sha1:
 d74607678bef43a0f8a85038038a099415997827 31391 coq-deriving_0.2.0.orig.tar.gz
 c53c71322aead622f7adc89005a414bdfc9a5028 2424 coq-deriving_0.2.0-3build7.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 23822dff3377c94bb5b40184c4255b1f7137e27d9ed20513cb0c6dfa6dc90a00 2424 coq-deriving_0.2.0-3build7.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 8010ac31dda3fb378179f499f4f51962 2424 coq-deriving_0.2.0-3build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2IcACgkQLIPbyOm9
DjeVVBAAlos1tTcLLlj0YXNVsOyKPRHF/BHbfLCGeKO/gz26naCmOVVShdNMni38
H7SVvaJj98XeKcM4DziNCcaVxWGybCNyyTn0/hdnkubbNX2g7yVA5/gYQ2Gj3qKC
Er3AiQNNVZsQt/z0NuimRnXEGBavW4Ylpy7vH1CTitXizBXAdxtTfvw79b1tLOlY
kwsD1MVlgfj8UTnkUuKQGs0mTW671Wrx05nWZTyc0zgMWbaKrQObH1Rcn5J9veIl
BpGLq/i7kZbtltxDFqg3E4/Nzfj+0oyzrHLLeiNjFF47NdoLJUWdjTAJp2w1YOZ9
cwgDN9A/Tf9mncf5qD/sbGsfVujH2Tpqfz1Ew5RelksgOVl1Qbx0IVod3waoVua5
FJaLvS08a096x5KS4gWotEKdLTr0QlET0OhXddcU+9o52x8IIAbF2qJCtuiEbppj
quqYva9ZXdI3LhimCk8HVlw4t1Fg8WsRfZedFOyHcHcPxlzQxH1gJO65JvRrKGd0
A8tkrPjT5tureNBev6duMRGdvPNkhVlLxFTlCyrHS6ZKZheoplb3EsK7tqaZ38Uh
TylVBgA2ioNv962HUIqHbaM8sjWnDEW2szq0pKs/DM3VzlIub0Kg8kfOHrV/UQe5
7rtEwPtTyO7DjqW+hoHhFLgsOOke5cp2x1zQY4BX/nS38pdNlRo=
=sbfW
-----END PGP SIGNATURE-----