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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build4
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
 4b084b6b57f0738d92a41e3e87907feb1da04463 2384 coq-deriving_0.2.1-1build4.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 0d866d19364ab1068b7d816cbd9bb8e67b4a718d15f0091120a629e8ad11e09e 2384 coq-deriving_0.2.1-1build4.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 e44eb7ec6eee1101c07a46b47a3843d5 2384 coq-deriving_0.2.1-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetB5oACgkQ808JdE6f
XdmAzw//SbgM+VpTOgH0iy0ER6KsBaLCRCn7uvWE3izTMywjuugB5hZZN1zOvXTS
H6ae93xWZRbp6y9pO/fMk3zJ83T83RMEOoRNs0aHhuHRRkVvKg9khvwtUb63MAC0
y3UERwzy+PdRf9OWEICZWHL4aZtAHQoACoQVzAwCnlzoW4fydjafqbhdLOy7/FBa
3y1JScJO0L/wBYb1UVZ2TZHOKgGi5K3VQbMAPbayYxnhdK7iInV70ZQ42uyPi7JL
KBvKQ26ggS6fd8IcylerHceHJRLzDHboHtD16iik4ACWC0kTkGdojQEQnnFbO9Tr
SM9VjpH8ifnPyjAUiAIbk9xfowFRcrLOYdB+diilSWwibTZzEPnnzvDE18WIT1Wd
KVUvmW4Z0hFphyyGUrj59GHuUpQWXsbP99TkS3gKGkJYwoJ5y51IxN77BC60wbZd
MgCByHX8Sb/tnH/cbt7jCUSP36A6D5F6iypDbI79wiIP1MHiS1/ItDUWXySNDKcR
0uoeQR1qSrg/EdfMvCg6V7V7vbcVnahy/q+f6jkWfGvCzj6+78to2ie/EhvD1J2G
kkkTDvSs9CFGfMYaUd+VR5QtjMxjFSyCpy2CCH3Tiw5GWxQJY0g8KEfxZz6OQ7P3
RA9hsWJO1hHmoeSU9gG7yoBYwQKkDaglJkuxmExMsIYbhwpJi54=
=/ygA
-----END PGP SIGNATURE-----