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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build5
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
 ec7bea9deaba02ab7d3bdcde6d4fcb392581ce28 2392 coq-deriving_0.2.1-1build5.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 566eb821a248871edb5f37d97246df381bceed1b80dc84e4787ab0140169c2d7 2392 coq-deriving_0.2.1-1build5.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 e28dcc5726d3eebc8ae51e8b0c0b1500 2392 coq-deriving_0.2.1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gQoACgkQ808JdE6f
XdnWiA/+PGNGVjALxI61/XHePZ3PL4UwYRQ1RELoZUA3KuGW/LNuddX/UEVERxSQ
Y7mcOn1mkSbRRKLUeCTPgM258VGT2c8YfM86oKw0Wyy56zN6bqFBsLLwfC/CWz8N
7GlR3HGKrHnSLDZuVKEwZ6wD+HnXqZeGck0Lf+LcxElD1btOX1WXkuIluZ4N3bxF
H0MmAsZLis94YJH0x+3VhSbzc+W0SIyiOarbzC0i2tdzig98MCdlGlN7T9F0v3pI
Tvp31/UdnBeE6FfuB2mkJhm8NQ1tFVYW/Ch4sXsFfi3vNmnpbS2qYerXPMiWgfa4
GMVnJOZ/n8SNJXUHltVqKyVyzilXiCSjVE0uZ1hSN/H6h8rghZ/aP44oI49BYtMC
FDYUFLnU7BL96twENezAb/I7GIro68H0kk7buOQRDldMH/JbA+FR5zXZDOSH33dV
t+W+1FI6uSE/Oxg7J9Gkyug5oULXKEjylgFRDG1DTA09KNT6a6VB2GbpcSO81dWM
cAbnO0ZcCsS5SDsRm1+HbfIR63EPCfdYSYqx/W9OiU7wXouKRi8DcQX6qrYqgZMb
MClrN0Osh9P+tCQ0uJDNpnUEzrmDGRPH8geW+RCkXa25vWZryVZ4hAVXVlq89sS4
BvkN3WYt2SRHW4QkXwm0IMkid+34maJe0gUzGowN9bpFlvP8YTM=
=NzEi
-----END PGP SIGNATURE-----