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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1
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
 064ab6f041f9bbc85b6dee62afac487df735ec46 2220 coq-deriving_0.2.1-1.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 aaab0805a3d31ee7bf7a5dd482f9dfaa373f4503577bfe3b334a077962f58d75 2220 coq-deriving_0.2.1-1.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 861630091d3145a73116c4dd4f82b42b 2220 coq-deriving_0.2.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8KAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWKyD/0T9Lou83+3gfAbSeiH82wJ
cGWWU3Dbz1tyG/LyK6IBD6jKdhgVtIPMYx36gvofXoSxI4fvS04wH1NNtU3+y0zR
UWvaX7Et6mrgfgVsUzb0tTG7NZej7CFZgKG1IHZeLT5HrrGYvDhGqmO6uUB+Fzsy
t7B/d9GCr2CeTIFBco2XeIM3APza0iI6NL838ezPGhVLAomEV99QmdmzxteUfUwP
VDDszWzWJ80gZPxLr3rsp8+g+qPqU01IPikZ3e8ieu/i6ZM4InAx60v5iv4HkSfZ
A/UKOGZfWOdFMYfRMJoRGmRs5olu9wu+fvpk6YOwOuZORa+iKgQgD/mvi87SD0bM
8LpX1tYUpSwG7kqcU2ufgVmsVQd0gpzzGVieEJOVosRbNm/nxEU6YO63X10LcINE
cL7JOhLLDp8WBd7qFK9kpOqEI0P+TURccA4I75YqM3/Fpvwh/7Imqzqp32f1MZN3
KcYaQiW4FPp6fULhW75dIgQlc3YFjT8jpJ+z6qzdU6Vqv8TSpg7OrFQ5vIS95X7j
lLPul3IS4E9Hi3PbUKyPStWE5R3xUzCMaq+PUJiCWo5SCYdO9eTlLsualPyQxBco
Kl3Ih62FgfIWZWWdSDSfWz2qlt87kHypihxiVZPpigi8Yd7/Lf2o63a6G+GqIzXA
DqGCZ9zq9tvgvLypGHB/pQ==
=jqmZ
-----END PGP SIGNATURE-----