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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build6
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
 3ceace72aec2419bb7095de280e2b4f5d8c4e46e 2412 coq-deriving_0.2.1-1build6.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 60bcfe8a11bdc297151090984d610400b2a368a9dee6422cc86517df1ae834f3 2412 coq-deriving_0.2.1-1build6.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 245da396b981800ab69c611156855f68 2412 coq-deriving_0.2.1-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclIMACgkQ5mx3Wuv+
bH3a4BAAuyKArZXdgca9YvDePaKebOM8Bs4WN7qFOzcjsV3pjWKQpIavY6LDiskh
AbBGJR6OHBlrwFBHHfT+PJUkI0/1TG5vIb1EdOmKL1d8omjPQaZdCDADLtnIQ0FN
AO+gJR/LlwrQ952EXrPTTeJG4V7mR2DcV195+ApFBEfKH+md55RILLzLBO6cseUI
KEWKjJEtvGd9nCWXyg26aV8VrWSWpHyT1vCEi5mQYiLJEyTFd5R40cgzEpcHbTTe
TSKnmPEM7jjSV1konTgU5/2fznmb4Qj5/VwyhgeXoz7zEnpglF1lmAgChN8FXjfa
xC5SPJazsIMagycjj1FVo0F5JwwdqEJpIeQfSlhhwbIMtILenZhSg04K3hLrIhvT
wDmWhzHLEXQm+Xsw2CBrESVRHhxSggOlX0Zk5R36iLHUd6D5qhOcOV9hS4pHj4aN
xH9bSCyyjztgW6kBcl3eoG5Zm3r0FID6gjrDPY7SJkm5r9oFTfZYNusb0pHH1OBA
+yO6/bjZZk7EEm245kfOwjWTqVdWR3mldGS77+sEGrvtihoav3yuWOOKGIM+6b/I
eeeyGqTrJi3sD1Zdl/ad9dgBalrw1E+b85vA/ee/lnwg9a8QA5eDtmqJR4xoIk7L
RPjAa49x4N54NUH/q0YRH3mhbytScyRvMYX30a7uhOl1JcJUDG8=
=kvIV
-----END PGP SIGNATURE-----