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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.0-1build2
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:
 d74607678bef43a0f8a85038038a099415997827 31391 coq-deriving_0.2.0.orig.tar.gz
 0e4c16c31ac8840a2676f3704308291d8797d595 2232 coq-deriving_0.2.0-1build2.debian.tar.xz
Checksums-Sha256:
 b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz
 35a7af4521b585d4afd03367467c99e99cf56be6d5e40cf3d42e0b7d1e3b3428 2232 coq-deriving_0.2.0-1build2.debian.tar.xz
Files:
 61a2c3d7331ecc19a87b3c596b0f12be 31391 coq-deriving_0.2.0.orig.tar.gz
 65f9c15cf357523c9fda8661b428e49f 2232 coq-deriving_0.2.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/KsACgkQ808JdE6f
Xdm2qhAAt/upE74IxM+VLLp+eaBfJNPIx5XI55QFwT3jzWhYs0evSfvXTYenTmG8
0E9RtQgRN+pRFYpbbSW60K3K31kk4qcfjq/2FTEL/9ZUdJCJHXCVFutL7W6hCmv7
0co/9TOFgLva4XEB5L4bClTBML8ZYjLvTPEv3JpW+MbaZoGRQublAffzrK2G9Ww0
mp6BX7rzip/vOF+E8JssEB4FnKUQ9IkBJCDWi4Vgi/6uoN6J2VqIRpVcosp8aSeQ
JZw80+zDskJQvqiJKLmXZtFUqaV4uIhp9DX0JiHva4cd0wMWVJyKv18cQVPMwxjZ
50chZH/pPa+92RN181qBhjyfkTTGI4JQHDsAMa/88pmmBmVgksa6f70PujFYYgzy
JClEgWTFQnQn9EWLGjmT8vmuXqSeyn4sA8AZFLiPiPUTvJC6VTzEIvBermORKybF
/k4Dkx8y0NuMK8n6cq8bast7/HVW7DOzbyycysqPTnpUYaIW2oQKcOOAhqv3XpU9
h/g1POlqXjFerLWqdS5fsAkCZ8Y6chkWwRgbCkoGBCfNz4S3xQUAGivXR3OsACgD
EF7CRx6VPdMiC7TMpyKzgpHOi0eEasfIi6idGmv/Jlsm+sGfMolNNob/HKilsKHz
M6g5skQtZWm3gC9qHxCod2SyhKHhxXwZJ18h3CtV3HjFIfELyPM=
=zT/0
-----END PGP SIGNATURE-----