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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build3
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
 f49003dec8ca966416a88e4190c97f4a6d0ba82c 2356 coq-deriving_0.2.1-1build3.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 e946606ed47e142320ae1fe442a5a1ddfc677acc4409b8e703143cf4d4d5805c 2356 coq-deriving_0.2.1-1build3.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 3caf24f16fb2e10506009fbb0f5976b0 2356 coq-deriving_0.2.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8gMACgkQ808JdE6f
Xdkk5Q/7BWOt2dVKKKJZN11a8ef+A4AKhF+O8gsqs/05wJxL3aUZvyxWkk7TRiBN
bNEOuMXsQJivWyjzf36mTwXMrYG9RoHPg9Gp8wE91WMl9UWTJ+rJ+by/igV2/KBI
QvnAXejn1b8FMIf6RGEonZEwzpKGq9S0ZgJ2TTqFUTHbeWW8kDuhVfU+myfLM6eR
sobMsW/CR9YUbdibkw9JtVjgUn0OQ3w2Nf4DOo0yVeiSKh9vOy1k24LTsGM75OkL
UIciUIsBMVmr2sY7+wmTl4TT1/Zht1idOzCMgETVZRfb32ei6uCWP8s8Q+QoTFQs
aopUP9ryryQ+y6WXEx5KZxv/eKYmj5xvT67HTh7JpPgsVax2CSlmi7xKZvw0SDHf
6cdrEgzm7c3drCN8edufmQSXb7PAfSjNccDfV34WMiD7g8Fc7lg9eoTXvjr8/Xfo
HfIGEIObBFCpb3CpznC1gyTsjtZ9SBIQGjEeMLjDp6tns0m9W5rn+MLOh1Vqwmcc
8O2stTm+a00oHwW9mCilu1DFqEaFue3f+Ew85GkyR+I28V41QSQ//F6SKMtC6ZQm
pgbJR7BTlr6oV5MHGG1LkNw1W00AEmXW48BcR5RqSC59dWH/9776Fbnl6XAP5VhQ
mt4Nm/U568FpV3iu2NX97i9DvmGjJB/Tk1Kc43mL/E2Dntry+QM=
=h/Kh
-----END PGP SIGNATURE-----