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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-2build3
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
 3be261dc7d596e7ffa02161376a628ada8cae462 2248 coq-deriving_0.2.0-2build3.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 e21332d992542c0103465c6996b9c14557e2e2468921b3b98bd7fae15259ae0f 2248 coq-deriving_0.2.0-2build3.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 286c220c26d5f8dd3e682d2f37aab055 2248 coq-deriving_0.2.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeGMACgkQ808JdE6f
XdnwZQ//a5r6LVbBbRY1mTSrepgGRpvC8jXY3G7qiBcdXF9tGrJYVOe7BbtbzuHN
Ym3h54ADeq+HR1O6LNwzvHMgmRy99+rDqv3NfR/4D5s5zh+qv8e0DFGu+JAzfSt8
NN3c038Oj2GibP7Vjs4IQt5x6M1arxWjiUxdKhVordFdHPrsj+k6SvUiueew1HaM
KHmnGSKUBLt+G7U7FLfkRYLKbO70c1f7RJZETZK5jaYSjV+cRlM4O21MGe+D3ZqZ
099WezmtXy7zCdL5ExfOPfxbjHA9EEm/FFDWoaFgZLxDOLwGL4itCi+BancG4iJk
ACCAGPAUtcX/rvjn5IF9kit14bvlwabA9CASVPum4byY/sGcWD8CheWWqFG5SR2B
mxDYNPBb90YZj3fI0gNGVBFVoZ10DZANtRXr9WpEURacXmM5D7kOpPOEktrtWCVq
1s4pBYQLAE2RePQ5oVpLOOPINcqS6RH72zo3JRr4pJ+alzwKrQlymeNoIZzqVrcG
1kEr2nhLkl8RaBmHpcaDXSRc1CM5I/69Xlp8OUKFpmYytNTTDQ1AYWYGDUyJAzv9
3OX4XR5fEdV4p8dY+1kkoyKQWEXfvqr7KYFz1piSXNpVX53n+1QimGReDdYgunTJ
yBVVdoul6P4EO9oBudpjgPstQQ4x8knAEL14loBmq6pp+bKExAM=
=rZIj
-----END PGP SIGNATURE-----