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

Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.1-1build12
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
 326150c5cdf174d68a5d66cf441dc3de7305df2c 2508 coq-deriving_0.2.1-1build12.debian.tar.xz
Checksums-Sha256:
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 1ec6a6fe55806da33de68c6dc74922f0e08ce694fa31f793c392a20e4b7f1298 2508 coq-deriving_0.2.1-1build12.debian.tar.xz
Files:
 f3e719683702edbc50fd725d683119c1 31849 coq-deriving_0.2.1.orig.tar.gz
 478a8dcc35d17b331ea9375fd725eac5 2508 coq-deriving_0.2.1-1build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZXyYACgkQ808JdE6f
Xdk+4BAAo5D9dbUZPwupBFc4aE38rqRLF1DvzXbo3HK0ZEx26qzhajahtD/3ACqS
Y/RH7JVI+QmJvur5LUh4FbPw10hViHEoBXZT0swl5lZG2og7XhFXRguZUz7iW+I4
6QJwyI0Zq+FVETkcQGV+CwJFxxgsfVYXA8m6anzsf5z2bnsZ75IETWeEhHrn9obm
BV5fer9a5OrZx182Yt+lprd4d+0qramfuHYi8HMT4p8jt39CDQRgsZbYLvs5p4qM
r9hKZfU71ZaiToYkKiYx8c9UenR29ri5FOU069zaxD90p3vKiyocbqEbMbwjEqTH
Zfeg/4b+VGPknXM+pJmSSy8TZPwFiTRbUi7In/d5YWZkTba/+3BN6PUht/l84e4S
GV9JhzS/dCFY3wPPVTkubBp33DVNZCKGeqGgBqFZKqKQ/krzau91HSxKTfAkwV9k
bwTqgnIXe7TqOpavzydddGIE+vfi+GIHELpx8AD3NZEePQZFlYyo1MKlIxuWqW/h
J4VBdyr7fzRtioa0MBmYUsbaAsrbrJS6lrrYlJE62NySSeJHFeZIXbL49H2TRT2m
Tfmtfms/fxMgz4wkHSAg8F4m6uCzEr0vNVdZRo95983XgGFCaevbcP1Ix4KhBS+v
UZ1ZqXeBimCno2QpumYGf1PKNofn14KSeeGXIYGvr7pLf2wJc90=
=Nohc
-----END PGP SIGNATURE-----