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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-2build1
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
 0b9a68acfb90af6bf2ba8fcd01cd4bb4fa1d2cc6 2220 coq-deriving_0.2.0-2build1.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 8a29f069f235c0656622c80364ecf6d97f2a9900f37f1e3b40e0b8fb87e29963 2220 coq-deriving_0.2.0-2build1.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 72678461b82ef57c771705da74ba8961 2220 coq-deriving_0.2.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8uIACgkQ808JdE6f
Xdm+khAAwpjHzsXXfzgKq+gvkkiyNor3vgw6Om7yR4Oti9Ze0QVs+bZSDKaLpQqG
6xrrEyCEPkbEvRtArankNoBA9X0zZxFn79ZjoHcQwdT4JpLUGR6dJdSzwcZRjwNX
JfruJxwBWWTcLWzUdUs8/xZB2t7nzPRjNALuz/rWymL830SAtXSVhKVTILyjI4nB
Mp55rk2R6OYl14BVLIi3KO1J9fNrY+bcazA1C5hHbfYAgY/A61llI3Vm3QJ+ThlU
LvvGtMgi4b0Am7c9gGWoEsOT0awn6/W/GdZ2HP50mEz5xVOjoj+sIwJYWUx4F4ve
mikz8LVwtYvzmesU5rrNObGF9YQeKLgZFc/+gNB9kmDYfnB7v0kdhraXt0Bl3Nzz
PxSAY+rX6bwa0zIPX/jSI/WjpsP86TJOgzKrT8rN+Dl5LiomT4e+TD/WSdzwaneZ
rSUIaAqFNqbxDZo8URI3TOGREnkdn14WLSUGfmEB8TVF5qDQLGx0/DQpo8aAtnXC
35vQB6+KYrSHwaYR9rxX2GvoQr0MDBDdkiiMge+YVnqJGvRTDFsmLCBIPn919Nvm
IobFleiB/0uCrFnR+S/sheX1GdZlmVnuBsoeofvDI02rOYkNzLhHB1mJIXXoAgeC
JtKIhHmHzmr/LmHvFz+4x8seQCYvyM4Me4vobvvqleYrVijvne0=
=A/9S
-----END PGP SIGNATURE-----