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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build10
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
 9069bdeb1f3106aa6afe8a5feab3d8f9b172007c 2484 coq-deriving_0.2.1-1build10.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 b8630a6d10c6346208e7e3c3d7b6d5746ffb41df036284bd95453a9e7134b9dc 2484 coq-deriving_0.2.1-1build10.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 a98f4ff6865ab11633ade5d93db0c1bc 2484 coq-deriving_0.2.1-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QmAACgkQ808JdE6f
Xdmc5g//dyUhFK6t6PLbJAJn92RxAXii6EVcp8N13/ZQrvj3AilBlBIm6g30XNcl
6v9/zibuXnS1zRSQAwDLYuAGSDSkq+hOTbLLG1iuRk+SbLBE8NQB2sYurN+WwkDG
0sFU3q1nzU0hTiJBVShI/Z0onC4da8AF8d6zzVUGx4qizRFT2G5Gn2VsK0FTy2U+
sqPDJDKF6rY4JSfxbC9kQg7jr0Sh0GTOlcpC2493nRXoVHHh0fEpPww2LLeHK0VN
8yKn6Cv5X0ecSDnkTBwB7RBl8YMLFqb8lhwV5CzpXZq4TUtxeNbQ7lk+f+cePP5z
H40TEZ0pTo7y3mKwcCb2TujbnEIT5VMoG9UOi+z6k4YKcLiAO11HakcWtw7ZQsMA
4U9ax9nrmD05aAuy1pm8dhm7vzsQwsYN9pj8BLKCsnmyY3CxGj7Uc+8Ek5dMFHFR
slfk4F4BMXDdnHkz0o2Dx62kv+wgz4ae+CyqKqhUGl6rvJ0XmEJ2k1MyKWaXXySK
M2m8FuaGBfSQxk1+PQyu0g+rpojMREJpwH0UsWBqb8no9mSX4vmjrYEK7/9fPFHn
INQcQEkKAZmkVGoy4BXjIRNbA00ZdrzWQ6DgQb9JvtOCtgF2sWNfY5/jjWpcdvOU
Tm2HtpeTUPp6v10bZMYS7WWDeti5AKgWaeVpk3s2BSEUpnmWKM4=
=LuBc
-----END PGP SIGNATURE-----