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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-3build1
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
 e2fa950266434a468490fc75b4fb4c0dbcd7a858 2280 coq-deriving_0.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 5ae59c4a426fc195a91538d351d8e72743c9745be1bd3fb90901b0b1def285d8 2280 coq-deriving_0.2.0-3build1.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 4963f64bb53076fcab7eabd8c57ff4ff 2280 coq-deriving_0.2.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EMkACgkQ808JdE6f
Xdm9qhAAxx2Qh18Xo6GHB9mEICF2EkfmppybYt5jyzLxWmcrMVpaIY7fWUpvB9Oj
NLvVpyvRHPPRfIS2fu7LJL5RlJ1C88lwOQNyUeiOhvtk0OLIhY+O7OTYfZLe2vwp
qKe7WlCcUQBJ7cnc8NfU85jB8EGX4zOu8PVHCmb4+JQ1mi4QK4rpqOf/JdVckjIS
SWn/f2GR7XsvLOJgJARfiNkK018iJ5xSeM+Wkpp8OUlkBZkNinE3CKU/Aij3AxY/
BPqaa1P4L75T3VpRZtHa257kXEID1S2D9kG0olwTbvk6Mqqh5wlGOfFYaCPc2wYU
AY7pRfKrrr3pgQUgwi/SzhizsYSv8bRS1iw5G/dQlkWuohd0V4ppTGks5rCBlQ8+
TFZZ9vBLJZoNUQX6tnJZJvycYRGGGP5k8IUcoLJLE9ZeFfEsAjd4Z/nph1ehmzd5
NK6QBWrK4rd8wlwnJfNCGuuoxyIrqvU8cQLINBLSrqRO8XFAsyWLButiCJwVRaez
rATqpnLlH6JFLPRfxwxMYkc1v8Koots1x0pdfFR6rzjz8unUc3NcBJkPC9jAlAQq
ZetEA+RAtJq6RUaB6HBwdnub87gjuugPd/Mfnx9SKBthL2hnamZAWcICM+9dFYWD
k9HNmtjsS1Z8DDqRMahvXjHcYIe48wW3NgDwT9L+Oljj4hXL2Yc=
=NgIw
-----END PGP SIGNATURE-----