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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build8
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
 5761f34db6695a2a45130934e8066723cfc540eb 2440 coq-deriving_0.2.1-1build8.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 51ac79b9894603bf4465879209a7f37187a1eef242447b0244494624749428b0 2440 coq-deriving_0.2.1-1build8.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 0f03f5fd221092c93ea58a46f407cfa9 2440 coq-deriving_0.2.1-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUO+kACgkQ808JdE6f
Xdm7Aw/9GrCWgl5V2oDf9RhC294hbHLkYGIID+pzz7TG88Q5yXScdOg1uQ4ff9c2
wJ3lrW2bq9BsynvRKul8Voo77MHYhj7nVAZYgOSZISO5Qj1/wTJuNvMqaw/ShXgM
n/EJn2glUHt/Ismbi9ly+v0xZo/O4ROR3w6P1lRUn+NsmuiArakZwnbVVY7prqjV
lNZ0B/rVXpgjWQAlKonaZ4d9oXdmMtLt0GJHmfoU6fexPUVh8RNIZy/gE9Kue1Hb
+Epew4+fmLMfEqWjyuU/uCXGdK1PTLL7Oqc7N1EZb+aXOD+TN6ryrhDpwzA/f9ow
44QTvobj+Al76mBGwjr/W1ATYQdF4LBiODwjKcONrSN4XIll3x/NwJEcPi9pCWHP
mC42NKXL8kUfF33sNZvZGoop5bqXufcH3FHQAUtZCfSL3sgsEbrPu42ZRLLRaBwk
XIO9OfTDh+NDD64auSYbW/ou4OP5ltCMGYibLoynNtZ76qvmdxLgFb+2cKfZqsZT
nvRkcv02uHm6rEeqvvYK32np4CGhv+5KfYOPPReAq78pia9I/93JyUmkSApJ4Drf
5my4WluVyep1BHr0fzOhi+xUUPJ6VECftTdOtOGBUM3gL5voi6pDfkvf0pQJpLRv
Am3psU7unyU59TSu9M3dXyi0NliHk/ytVyHSeb7yWd51cT6OXlw=
=Zrct
-----END PGP SIGNATURE-----