-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build11
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:
 856a8f0126e761eb35b39896fcbda6b5bd78e7c3 31849 coq-deriving_0.2.1.orig.tar.gz
 42ec9a7c0e76779916f53d5a6e924ef0e89a7da8 2496 coq-deriving_0.2.1-1build11.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 9039c4f3165fd84c89d32ca98e86ff2bf21309d212406d84171c87e99ac44a18 2496 coq-deriving_0.2.1-1build11.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 cb7f40abc6ebc90591407e3b813c624a 2496 coq-deriving_0.2.1-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVo0ACgkQ808JdE6f
XdlH+Q/+KJzLCB1WMipnb7HONnmE5ZX4jq5ZQlf+3QbHrefjiwqqehw4HwN2ggax
kuOI/J640w4TiquLyr/VH08/ZGW0f975yhOtIxtIsOwnyJ+ARliy03PxidwyPSXv
53PZ+LvKLxuzDM7Y3UW3NUT6kr6ASqZ45CFYIVaSVECm2xA0ECEc5zSGRckZ4KAj
q01vIqhpV6P39vQNsTAn/TQFhbhjws/eAwAds8aS3VF3soQdYxMpTxF23XodZZCI
2UVGYNyp6hl1x0VN6gwdA8BkoNaY3PkQpYKeFoOjy3SaRwzM71/V4MHH9SzGKR3E
b2+7jnd0Xbh2a/5N2ypr+NiEFz/NTdfPJBnH7wB4lbUlnqba4qLTezJSPIeszeoU
JNIYiTKIniq5VmYtf5oer1USavtRIkpZ7TG1pcfzMiEnYOxpu+OQfi9EBkI82VCG
bw0srkfORGH/YWafnu9/0X/VULEcqGmn51teJM82BkAIh6v1osy652HVMB2ojcBW
P5fDwjZyqxvMdcYR2BarwrPt4eaQW2ttTBhbOH2Og/naYeZavNAMuQwh/+Z+C2ZG
zkK3lZROmIp3BHBRgmjXB6fFpT/YwhXSp9StHiFfzGSuW5at5rpQT/lqu80KV52N
71cbk8ZhSxWbIJUAbAUceqg1bA8N9wCqlJLkWzFmM4Pu3k1PVbQ=
=dzlL
-----END PGP SIGNATURE-----