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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build15
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
 b66cda8edd42b0995ad4e6343103beb86f53f7d7 2596 coq-deriving_0.2.1-1build15.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 6152ff514565206ff6817d984a724f94c3c2d805c78e6c03c3d7bd5987bf3f42 2596 coq-deriving_0.2.1-1build15.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 74d5cef7e35aa7b18e7aa6320236cce4 2596 coq-deriving_0.2.1-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXGYACgkQ808JdE6f
Xdkf7xAAtGnfxH48fPauGO6w6LRjeBg2PFKdv096D3uou+BNGr4AlJ4kdCjhBakw
daBl2HFIOe3HG6b/7BZM2Gwb7U1FVEAeTPUzQV8hzIutXCbumiVIhqfaGfVt5sgH
PerIMmBxGVz6ABOk9DoGd8BjYg3Jn7aEiO1oexTb+Jji2+oRvjIHId2nvS7qkr6e
gq2DlxdAQjyocXAboWBjFVWipfCBZCDninBzl18a4M0lEmLyHPmNCFGZilzYIjn1
E/tM7Y0LJxqyCcHWMcbe5yYZsONk2xz6MsYDVG55xw6Ffo8uhN+gdPxJVQytgemV
6X/ttD322KLD0Nx376LvOW7oideetuWBrRbUkoT7umVCTPdeS3w9fycClSVkRLPf
fMrRbJchkFaJjmXnrAGrMoZpAVT9Arto+qgdX6c2L7vxPDSIas8lG+gwL0Q/omYh
O2Mde27EGRByD/1YY5l46rDTIi7wJw2AelljZywxXYoW2PsOGtygA2BGonu7LMqP
9136aVaIMRTWg5z/sEcteVK4MZnszJIGA4ZbosKKbS9mNQ48pkmV7YiO2AEJf2Jv
zZyhrr6F4bdFAjzs9qSVWJAlKqBJ69d0jvn0EJZ6VNKUQJLv7MNpBKnoZsUsJ+lT
bf+XZKOkdkbCuoxgWsvaWJ0atmST8siTT4DFXRRzfDadsPWsFLI=
=ZApT
-----END PGP SIGNATURE-----