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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.3-3
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.7.4
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 (>= 9), 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:
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 10f0f685749bed78dfddfea7e70c9c7ca066eb22 2408 coq-deriving_0.2.3-3.debian.tar.xz
Checksums-Sha256:
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 c844c079179932a38bcef132312eea55981c5bcbb0453949742e78df92bf0f39 2408 coq-deriving_0.2.3-3.debian.tar.xz
Files:
 6dd97db71f1d8f37ab504409e8cc8201 45334 coq-deriving_0.2.3.orig.tar.gz
 e4e3d0dd7968baa2ecffea386ee61b22 2408 coq-deriving_0.2.3-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8FvoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUe0yD/92HpdxD2/lrvgEkMaLl8jx
pJySj7sWXdeR1sPaQKjy+Yg40LgYqfS7bd4ab/b7RnCla48XwDx6qhtYjbLkJTtp
lbDif8T8fcAKhM8IAIUoC065tGpibFs1XoohcQDsb2y+37hK36NZvzfiAmgw1mxh
TGgD3FlfiCNZJE+G9OdRQWTl6iLyfaUW9ihtwbNA2Y8pxl5ls8EqykjVAUq4/Mvc
vROQQ3J0HiKN4RldfUvQ8vvkQClKgoPjLVbbaVP1tdLRoBwsbs6v9g+/ZefztvGV
D1fhKOOAqdzdm/lTt876CIDmoG+/bT1IrlUrv+xty/w9FWKekEohgnzuCQbwd2T6
H/bJo4P9du+YngRxhHp3cFoOtELIO4uqw3S9eugWj/XehY97sIkLEPF/tPXpDrOs
uMQfwIbDUcq8XuoOaUadgueoOhyJ23QQXjusImKyUfwsSfld5/Zq+wnTxcM6Lqyu
ex+JzEmdyeUwAc2JHqaGMoSyuaOgu0A9GvQJlf/4LHBF82yu+mWIPHPlHSK/bExJ
uyRgXfmA326NEP4g8A0EfiJ9EHCX86Wz4G+uJg/k0zbiUpdNDi+koSIASRl+u5N3
i16YGC15pNwmeSwvmeOTlUQRGFJgtJUl5aAB5RVNjm2gzyj7GHsTpG4R4sEjQTu/
j8uxVx7WjDo8W7+dMWDaig==
=kUyh
-----END PGP SIGNATURE-----