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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.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.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
 0ce7e991d3889826d6c05c51aa02c2fa6989b0d2 2020 coq-deriving_0.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 048d8b66437dcbef013bdc11f17eae056d881f6fd5b4d244a7808149710881d3 2020 coq-deriving_0.1.0-1build2.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 d6fed70d1d73e97359271ead920f6132 2020 coq-deriving_0.1.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGoQACgkQ808JdE6f
XdnsSw//aU2F6MpFf6ymxISocWpyoxazjzUYhce/1E6gjAVB47O6Jr8oxQmaggrU
SpNiFwHmKQZFPXLIx3CcBPEBL4JK0c3lrWhY9s89lGKv6Zyu/CLz4QFqtzOsxF3C
PoGN49wZj6iTeEIrsOvWcuQeqYlocb066yC9t1UlTL52fPbt+JcCtWpiDmokduri
/nZOZiUN8DuapbaRhnPLeMKBALKZxCE0e3zzfI8Vg6OwfELfChCJw1BMpFRFc1cP
R43udscxsplz3qvD6W/Bos8LdUDbtMDrZHHvSgQuiyQ/xVRcikDPLMOkcqebGET1
aquc/9mo9cWs2GUZgZuxWpt504EA2fTPo6doQZQp4KHt2jpEXwIRVhAqbt2yFd2s
j2YZ6EIApVCjufMyQLJG0pumtfkHAhkY8eOy5ppe79W8xkiB1PfULDDZWYeoPIlW
3YUCgEN6TZYgVKgc50htVTdXgPVOLudDjph/cyiBz4nMWcrFybsf1icFKcOvgeFO
y4jQ6tS5/auzn60lP19fn9PkJ8RqXVtE5B3Y53fd7ss9gHldMUkDTd32QAygmRWd
DNcH01tVGA/QIol7SYa9XqFrpJrIo2G/FnULgoZk48VSVNP6BtPgYEQzYUrvccgO
TnuLYp/C6yPUWXkbw4p4ysKAVqE47RkF23waL2vBmoY0sp+XXGU=
=iBvL
-----END PGP SIGNATURE-----