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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build14
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:
 856a8f0126e761eb35b39896fcbda6b5bd78e7c3 31849 coq-deriving_0.2.1.orig.tar.gz
 9947404d1bc3c840b984b7e908031072b5df7085 2576 coq-deriving_0.2.1-1build14.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 7907c374ffc9ef66c7bf67d77ec026749d7a385f4dae65edfa57997eb20d20ca 2576 coq-deriving_0.2.1-1build14.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 8d66562669d715908cc5d94be28cbc84 2576 coq-deriving_0.2.1-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmqsccACgkQWWH9vpxh
mAnrIA/+I6Rw1y1gSArqEmJYKJeaAW4/hCW1f7bRZyLqmB/5k7XIlPeIqz3f3WMp
4WfB5q20e+zOPjtPpTS3sLynS+S4Gt5KParKsLF+S2t2tB6CCxbkUO1zc22UOcXP
+DWxU6UhJanh6FaRnI/+mo3FLaY11vM8rsgPyDDZdZfzGmm6X4gayphei71JHfFy
hZx86oS57avQVNfomQzgNV75wHe5bR38olWRu/eYvNbKC+RSwKrtv2ibSeRY6f5a
lcjhQNypQeQ+VhNv7Vs1et/2m67LGjLvvjRhHPE8g4xz/1WJrx36LLkQO1Jj/z2w
iw8CGi1Jl5zwMubFMAhye452+fF2IA3dy2Z3DTtwubH2G+8bBvxY0ngy2qrLgvCv
ByFEpkBRfHmRz6WCVA7q7UonJFvoY8IbzK1OUEj2QObbUCml3rhUl854an5Q2NdZ
8dGjIz4sItwEak21J2POFP/FGMP88fF0XrSeW3m+N4Hrn4qiYDfzyoFcVHLIk/97
tBPXK4ipQAg34ijU5j6wBAGGbDIJlai4EPcciqb1zDAmuTQGUr6Z9YKV9IBfZtmu
iAFcTdZ39ZD6y3M5JIEla1NuCKyEwg9FbtBLD4uNwX4V98HovX3chzZ1tDiWVcuG
i9rtZ7Dey6Z+QchK2/4jY8REIPHqF69L+P02UcfkfDe8zoejktQ=
=g0Dr
-----END PGP SIGNATURE-----