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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-2build4
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
 520d7af22b06ce8aea48b9b23c1ec17743b219ac 2260 coq-deriving_0.2.0-2build4.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 720c6be709fac658087235c36d7c262a42ca7cf00444541dfdf60628f69869cb 2260 coq-deriving_0.2.0-2build4.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 f90cc30f20fc0e694e4b23f1707c2e0a 2260 coq-deriving_0.2.0-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOGYACgkQ808JdE6f
XdmpqA//UNIYZGfRPL/79M0uE+e35cR2Yl+3c5kyn0KW2RJUIzKbsaJV/IbCJO+b
VfrdevksPY77y+Vcawx6TcDTTAj6xu0tkZQZ/NrCJUafe6kNGKTMH0WtIayjOTnu
rJ3oGRpqrtn6/dDqzcuEDS7Pf+i+TJ9ykK43ynqy8Nhnv2y+jduYzAb1livw+auY
RW5SfGotNfS6F+0qLq/dHeJhIalC80J8SpzGYNGDoPaYwSLVQvbAEtQtaofBYXua
QnhVGfnECP09IvJ0BojankQaBpCgKaEbKk1+V2bqnINMNmY1+CUGIXrD6tX+wgqO
HKsUscBhzY6DMIrwKlprUTNvW/9wPBvuLYLGKEiVSfv0ixff/Spy1a8AX/eK9mqq
8v+sz8IxTV6oKgAgmpRggDit9G5N+KmI6SP8vYF3xWtinFGLifWTg0WmhBDvHAcB
s+kpxC61AgTHcJ7vmXqX9FHD6v8HMwRIz1Gokkj8KmKAGMF0S1yKLgPrN6pTLChd
k6u5nQAY4anCJyBxycTJaBhLrQsrJeszSj21hsz2KNfGty8VSWDjrFhDIDM78tXZ
Qn9taTvc/ebkeOpZh8mAPjIYyQ0GajgVTqmwBoib4CLi+3saeqmbq8ZHGkJQcGUN
D5mUw7kwc2j6oX/bkFfF5gF36bhcYhij95lfnJ9iuUPpBJGkU6o=
=MVTE
-----END PGP SIGNATURE-----