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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.0-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.6.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-deriving deb ocaml optional arch=any
Checksums-Sha1:
 561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
 32d1521cfca1bb568db75259db333c3cbd485f6b 1908 coq-deriving_0.1.0-1.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 f61b8b764a9d6c78ec6ca8b469f87f543f9a7dcfd212a8da8bcbafb2cca19da0 1908 coq-deriving_0.1.0-1.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 b74c3317818a630fb1ac0e8c4ad1b862 1908 coq-deriving_0.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSbIcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4qYP/1kKHS5C0isRU2xhyDg+HjdgiybBIxG/
OuuXBg8VEx8o33miS+RoTe26nMF/VKuE9WKTK/bczWwsnEWpE2ysZDOGiDwqnA+u
rA/jeMDY/7eJ9vgn2GqcZ/vh4dpR6oINFE1TQx/ISA4LU45aKYiPImEHJJ2TIPaY
9cQHX5cJ92gt/wbaKnJU+JUlJTlmcXPZD0fj39VrmmCo3/TaXYQyYsVF6TfRrh7y
fy0smB8fFrPZDtLpy0YB/9FKnz/Q0xs81qZ96Z6/5+OXG862OBZw05/zNBotb91A
BIbdpwhJboEp4bekVxjihvXEpPvc72lz31Gt+QuJx351P0yfCXJkg3QigkrWPa8x
c2qUCE7ZDnX6QxpkWxES6vmoMOxb5LyEACtcZM5EK+OVESptT4k0upj2s4o3cmoQ
uTag2gp1tX/kvPyFUHuKToJ8Jh1mQePdxk9jcMbaNNDHdBIT42M/xswR6YoM9xfs
EXekZQxYeSGgyOHGTy6tqlsc9MuBOeYVsbuOoKwfeaOhIpq59LMvP56Viz/UYTC9
0QL/wWeBe3ZRh64VPest55EIyvuCCNDI4Son6aS3So1NWveQvV2DVmDllQ+EPrwe
2eMPSj6evZhPfpOSsWp/elVWRR7Qiu3lWaz66sy3A292gtBWLMUXa2J8TJp3VON2
jDLq9N3r5heh
=tTUK
-----END PGP SIGNATURE-----