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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-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.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
 f90eae28934976e91caeace1b812d288cb770c53 2344 coq-deriving_0.2.1-1build2.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 5891c96ae62b5af625ea03290bbfc92d5b9054b3f825bdfd0c127fccea47f146 2344 coq-deriving_0.2.1-1build2.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 451a788329f72a1ef8bfad59420e782b 2344 coq-deriving_0.2.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/V0ACgkQ808JdE6f
Xdl6Gg/8CKYOfXflz5C20hoJQnjpmn4k4kieSBHbqvuTAo1L9yojketgIVJdKgFL
CfAYlpObk1fhmVCrIr4D70QMuYfBJ4SpL3jwha6zROxglwQmw9KUftgxvzKmCCk1
ZiOIdYwTuxRpXBHeUp3tnE31KR0eD/SttfrVgeAYxq5fhbuNlQfu4uiQ8o3guQZi
MkClHqAXCR4ygsv6UddxGQVmE73TvQUTVgrOahIARUNkwJZeae1FgJbLyI4o1ycG
iink34S0+ZYpSa1i+7/79I37uHAGi7zyp6LitQQLyYCm2wBw6LimEjOp1a96djac
1QzaiiIWIt0Q8ZOSJ5y/q210yd/+6YBk6pb9OBJ38MyXz8j/hYqHhzt/6n+6Syw7
rYC9b2AgcbuVXzpt9V7nlxdRMY3ZjZrrkfrCPtOLoMiVP6Uh3aSfBhuKUaLbvYeM
QSG0PXFdV+ENEsAf9/5E7xl3okuCdBtV21u4WPzVrDXhbZoFtRoTOMVqS2LprpZJ
Di+AM1fjjg/EXosUpYvov2PQ/ccUjlOkm/ob/u+L9IDI9+bhqzuVbuozU5+XtQ2/
Vrc+gGprDVT0vtkdXvpebSFwJVIClU8lKafUbXlXlmMug5JYI1garNqVt2Ic/vHI
7P++ETus78hlKssVbwrBiGXBYhd3iie2/rqkfwtlSOOKxH34AIs=
=dgAn
-----END PGP SIGNATURE-----