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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-3build5
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
 e20a3586c92cd0ec8e07ba200145239321ab2a4f 2384 coq-deriving_0.2.0-3build5.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 4f37ba3a9187ddd4b040353a2a04dfb133d11e920ac6e01382cfe963e20a1e9c 2384 coq-deriving_0.2.0-3build5.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 d27664091d7e32b73501c957b51ae08f 2384 coq-deriving_0.2.0-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpo6IACgkQ808JdE6f
Xdl6Cw//QEwL+VfdEjedT8VZ22t+HoUeL9aYU2uraScubZmAy8ArPFqhPoiiV5YD
yEtqeUsrHMlaoV84IAAVHnzeh9XNYC7eIb6DivZoNstCHmKue5tYMI20Ei2QocKr
mLwwgZQfp/qbfDADnMP66mWm0F2JWbneVOzkkBTloweAj8Lm+zhJAbBAxsPrsf1w
S0b8fHpLRJmuxPyfaZ3DnMzM6dJmPjqi2Vjkyt4tGCRTSxnqXS3EAZX/HEi26LpZ
rghmDH8N9O6oMNfmNYr5COQF9ZR8pedH8MvNHN8Ti+5vixgN9nHthZPL6mn5Ztm0
TZiUM8XVAJ9dLtj6NbiWLFXFCUxZpihzsYELWtAGcmUKw0GgVg8XEtppweZqIA+N
RJpLNA12MxkdkKpHxWq9I7JAQ1r897ZWWwDxsxUwpUnXyGCnMhhA+nNtRSbJvDB3
Kw3kyYaujGmplgi4WJUpOGS1CA0UgCzMt70GU3rfYafv1f8UxUYUQtHpkoD1cBXI
N9F3sbPoclHaLgFbU3/BarocnNG4aI6emPc+CIEiOqcXGObh6Pd13BLH65Dm9Fco
Oxv6vYKe8ocNVeIbHkn388k1GcwTxrG6LWmG8SajeksSWBePNJtjEcb1yWDjz20v
zv+YipSjNcNNa67h2Es5XG5ohGSW3JrVmTbabD1aiS7KbX6kQuo=
=WV27
-----END PGP SIGNATURE-----