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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build7
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
 b042f133e4f6b8b127d38a078fb279d9eed01a05 2432 coq-deriving_0.2.1-1build7.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 bfb70d1c733fae0eeef85c064b723228f8e1b7abf3fa85a841374323d5974821 2432 coq-deriving_0.2.1-1build7.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 4d2016113e17ea7d63fc8661875c4470 2432 coq-deriving_0.2.1-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w7IACgkQ808JdE6f
Xdm19xAA2VZcNDQ3XI/6sSe6iQ4cj3I9dQ7r09g/Wi6uMq4mVFH5X3wdGBqnnNKq
XrYOF7b/GEc/lf9UUdTrs8PVLVb25KZrKrih7Cw60BscmGXr4RPSFgmOwQfhqeZH
wqnkTB5x45SK0poCQBy/G98w/byjE6hGCzBFGdE1dGAOidghQBPcaNCfsuRF5My3
yCT/L7knBEUsBHPFYqoD46e/+nfJHDUtbG9epyFVSinnqtwHlGKnE2V2WKBSKjyB
d7oBpm/Zk5i3TynxI10HJybSsiqrEk12y01imBFWufUto7qXi0FGUi6padnG8n0Y
KA4+WO874CNjTw+tuag0Jqy78CEwWWnEzvcTVhMPHmZ/Gs2K+cLWzmOVAhBy2Be6
scci3qqY5oAra4oOKXvfCUUa2gyOILU8GQ7OveDTskabN9A8HgxPQRUXt+BU0K4X
zANk+APka/MfeH6zm2iN4r2I3he/cTTW/yDaZ+lqiDfi6ct6i9zthr+sl6nTCP/J
+AGUMIALxzdAMEQokB/5Nc04atdD3+xHmaXa5x2Yv44Ln7KcJ4cuNMLGEwbHVsdY
2xEYUx4kC8zM5DRD6S6YcfYIl3jh80OQVkYM5cJbRp0RPrr29qYnkZLcMCF3cVFm
8XSpkLjVRcRJ1yWuHrVAqc5yq+Zfo48x8Tx5NASBtAr7G/6nA+I=
=LTFU
-----END PGP SIGNATURE-----