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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.3-1
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.7.4
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 (>= 9), 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:
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 872f02852b1b1e6d72a298879bcf7e76c0af12f6 2360 coq-deriving_0.2.3-1.debian.tar.xz
Checksums-Sha256:
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 2b6ed5db2ec75abb78f6b201af7052beab20022eb45e7cf7d1c4d596facf27cf 2360 coq-deriving_0.2.3-1.debian.tar.xz
Files:
 6dd97db71f1d8f37ab504409e8cc8201 45334 coq-deriving_0.2.3.orig.tar.gz
 478776c4fe0a0af7708a547fee7a46fa 2360 coq-deriving_0.2.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpee1AZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZL4D/9T9WyVWmMctLw8m26s93Eu
A5Y4eAkgQY47WFmZR2tOQMnEG3P2LY6CoQxxcOyvfvIS/13KsMANEzJRWZU6YzFT
0yL4kODGhIZgw0jqEEUFZgmjf6C662dW2FPRtpY6K94yxVK5mgkdnY3WHbp+9It9
UATaE9YIbMD4IEWBtmhTsTwp3IGNPlRO43zS16Lka2aur0XlbkZ1JCLXol6SaNJ2
cDrmc+dRpO0qV0T0VZBCX/DEetykGqjqXofpG6Tqj7KuZZpNq2G2XA/eQyExsl2J
JMq3cug+qdZgm9tEeK8hEUJucCIpNsfJEr/zhtBDO9O89eWwWj/zflB9VzW9s/BZ
YFvo+uqoSVdK1DKNejaWrMzWB0KlRAhcFbVdY2XOl+eU2Csv0oVmcZ6VOl1ge8dT
PRAns4eqgJoU5QWaAorV/8EFkZQ9ZCqvnSZMDXmezBxHrPJNFnyyi3SoVICbr4nt
NJmjPuu7D4C2rhYcQBdt0YSqJdj7dE7nxpuqtaHFp8zln568T9kqS5cy71F7iOAg
AsoJMPZkb2dBkjpUshzPoacstUhUZIOtUEWsW8AEQkZA+Z6wf37pKDaPJIv+dbeP
Se6ofIHQXrmYY49W7uAQ4vPoGNvNrqykCxdmBAuUs5vayr2Kucba7/6UsBbYAQoR
qpjpWvw532FZfeuJpR6h0g==
=iKnc
-----END PGP SIGNATURE-----