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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.1.0-2build2
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-core-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
 2b85efe1ec912f1ea38343de87c115fb1a5af62b 2052 coq-deriving_0.1.0-2build2.debian.tar.xz
Checksums-Sha256:
 ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
 6a710c82be418ec6042eee88a9b9f3d3339a0752ffb02b5234c728fb4c1a8744 2052 coq-deriving_0.1.0-2build2.debian.tar.xz
Files:
 22562ac4efb223977bec66929d22e58a 29290 coq-deriving_0.1.0.orig.tar.gz
 73e67d0b30b37dd1232f7f12b43bf4ed 2052 coq-deriving_0.1.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudbgACgkQ808JdE6f
XdmPEg//dvmLDsJi4zOt4EUdncXCMfD6rnlTy0z0f/LO5HeyWj2z2+vvHJlusM2Q
3lTUlzKWOGjo/PwN+JLIUkJKwW/q9fBRqAnoiLKl6eJ7w9kT/lQ9fj/JKNPdT/Qd
S086tgii/wFlEHu+YJd7erzaqHOcOj2YsNF9bdB0S6UKMhFWIaV5W1/4TXmQPOoO
zitclrtnLtu/IJAO2rgHGGPbw9Dc9v09UWEOU4U4E/gC70A6fGmhbr0J8cBI4vVU
xAyBO/bjb46jJ+jzV8pt+jqYllyZpkhVqNNk9Mpd7Y6gBmSG93bwFR1u8yqj6BZY
WuPBbgsVrjflFe7/EnLQm6uz9sjqhvkFWjed+56qvU4ptDyEnJQHdIOTyvtuojIj
pvBND2jjFtXNC3DJE3HSrqm70HFh5NXDnqmmv3EuSI94X5kVyst2+PWNfMavGLr/
be1jr7Xo0gjl5yQJeM2hPpXBBNs5zp5i6J2d/+MhBsjBW23QQn71nDvrAmyqHxLL
nla4NBQsTay2uigJnAGKsRiz7MIMfvURVvqkfPsnM61wtQ7QeLcmETdsQPsJDzwV
/ejpKJnLHYxbZq+T1WaNJfHGVW+lYVLWdYyopJKuTlQKg56A/aO0VQsVi2NiV9yv
1RJsLwMK1TmzX7xobsA6TmqcBv84K1MmgRvkxr6wKAMgwkMK3no=
=2HMp
-----END PGP SIGNATURE-----