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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build13
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
 bd2934cae5fca62ab3fde2bac5aaeebeb4d2ff22 2524 coq-deriving_0.2.1-1build13.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 d550ab668e4aed764d4bd86f80f723220c33ebcf3c93dc4cc115dccdda41dce3 2524 coq-deriving_0.2.1-1build13.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 4786e38e0700225c71c22ce49040b6ff 2524 coq-deriving_0.2.1-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5MEkACgkQ808JdE6f
Xdn8RA/6A64OfGEHkd4rFvBM5iDXIbemyFbMwM2hzGDqn/GmYdy68pBBDoNkQTf3
sj/CC58IWRBLq+u57ClKEqEjWnbaYpaDXKEwNOf88613Xs1nhKEv0KW1rD/sX/Se
OpkVfmmxL5FymToEUQWLD3QFsY2RAPJk/N0/ep6KvqKtey7GY3k5wv2/gAr81PCw
ZPIlfgPtnOjFbQmOjj3gzDghTcaBRyHKbTQ9ma+NJon95i5JRITeHX0SvVOgHV/m
sSu4n+MqdScav1ILBkIv/A5WLE6Eep+WB85+1QgGHlk6uEyIkNPnnS0MSpnnS0yH
FDAsl54W2RXRKTL6h9xu0Qk/JGgJfxvTJKgh6znUI9PyzWJLcU7HRm2SwyOep3A+
NZUxB4YAd/ZshRLRbJatewtxxHOzocXieSGvPqqU5/hhkp9lUHQbxNLaSetyuVFa
0TQj5y39lBQtS62JwMN2vA9Cc2yjPt7KKtlHXjbCrBikZCIO1diEeW22ujETHv2d
6lkOL9ZwYDV7/Rv9unr0CK/EDuTM5NETxiioUXyJFZ/4Jxa8DogU7004g9C50sHn
KQGrmZawnbLurducib24h3ZCZkEA1DY/JbUvqk4yJJr+mSMYBL7k7qWdRCSe9Knv
uTyX7inq0/E5TpO6G7fMh1cpDbL4nAkan54NsUP1CQXTdr5C/UI=
=IIQb
-----END PGP SIGNATURE-----