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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-2build2
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
 a845b8490cdfe00b9446b6148862f999dcbca504 2228 coq-deriving_0.2.0-2build2.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 0688a50d544006e1f275d160614df38b7888e3186fc975caa6bfc49740ad8717 2228 coq-deriving_0.2.0-2build2.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 0666cffe9e6e06113966c64884fb8a21 2228 coq-deriving_0.2.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWcQACgkQ808JdE6f
XdlsQw//UNGbwxLT8YVQ/FOiW27koK0a+pnoHGFOctD2R1SYNTWid++8TX+1lnnG
LEfON/cUIXuNSBvAwzNs3E21iAzIjO6wmf7Uwp+ArT+LimY6zgUfoxTSWIMhUX0L
5xrVVxirA71uWcXZbSnW4Xfd6ZcyohRnK9wTtonrCCYMcWaXUeWmnGX1U5BYIf70
/xIJ/eFVWK89G+Zybk9B1nrLduKE50Z43RG1cKl/5XiTUyPqyqjOckK/mo7+aNqN
xyFKiT/jACGp3ixftDh+yU/oLMaETqdDjenkj/EQhNzGGZ6/e3/CdIhwzLgBNFIU
M5OHU0GplzJBLsa+/L7RQ+k409EAHmem7u7e+tsMgGGzF2ie1NbfuXpT8VlWii9C
IFJKbkh/5nqpslmyx8AB/jp/K5ZDfxxTlkDAIUHNZ3k06U6Igc7efzLgLHU4dain
eBGjAJwjknvFCTttM/hHdMLPhzNGAvoCBVVzzUu0e26VrPH+AVyxoguX+fxD4No3
tJavofSL4d8N1U5jQVW7DDIXIgbtovIMRRIx/916xjyqEHrgMm+Dh5zh6N6jA9j+
LdASxL2n1ToS3EKbU0bfjqjpDAF1U7PkFzGmvHFnifk8RNeXWe2VE9DP+Ue+pO4W
nT/xbbP9rFFkzZwadaq0vhyURp4WyUxYWisxYvVNyEOgUE5U/44=
=c9GB
-----END PGP SIGNATURE-----