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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.2-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/tchajed/coq-record-update
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-record-update
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-record-update.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-record-update deb ocaml optional arch=any
Checksums-Sha1:
 ed19c3c0bd235084af68d612fbe57c4eb05137a9 13624 coq-record-update_0.3.2.orig.tar.gz
 8e6476acdef2276858fb4e1b73f09fec4e113f9f 1996 coq-record-update_0.3.2-1build1.debian.tar.xz
Checksums-Sha256:
 896b3d82ac18cbcf1078985cb9f17cbcfa453d3659949e486cb0f8bdead9016e 13624 coq-record-update_0.3.2.orig.tar.gz
 24b5cd393006133d82d7f81e216565859e7cf2e52e5ef286b2c7de62703985ae 1996 coq-record-update_0.3.2-1build1.debian.tar.xz
Files:
 a0975afa703fbe7d16c65d0149780269 13624 coq-record-update_0.3.2.orig.tar.gz
 c96ec813aa9f20994b430939b9079b52 1996 coq-record-update_0.3.2-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqwAACgkQ808JdE6f
XdlzFRAAhTUFEWUBoI+7/2v1ja230u1Nnsus3CQwlGNx4id4V34ngCfuDAJNB+VW
AtHP+ZNMMSbz/e16Objzjc3RR5UG90ul05vDJR+IuLihrDa7t7gk0nvyj74FmovL
K4qXh6jho7jRiVaVeCikte0bK5pmh0U53ugqCwCwF7dMMZvmLvKOacxrfvMAObt3
F6zWJ28V4uul+HGxFjDrAhijITArnbZZ25Khknj0QPtC3JfQsSwQHR23gcCQ34ad
outSHqkBLVJQ7T1iHPM3fsafiFzu1gq5QcbalU3D3dJHCHHYmI7PH08Ja6Qn1lPK
/tB34L8SFMPg9nI2mreokud/O/0qVf1kfFywUr2QOl6KS/0oyMFy60nuOdNuHq2m
I0sxus4du7ZwRVQbS4JhlNfgmoeq4iJ7xw8TVg7SHKB/aJ9NZ9uXIsuFuLCoU87J
sv5R/fcJnvEMv60nZIvHyYWj7NZrqX3MHKbQmFf4n1gw3BfllGx/J0LbzFe24KSA
9X+uZhDntDq28tAdN4/iG3deM0Xdyaw0guT14X2WQYwCGdyPn+LhH1ztXtl1H9nb
RpJ+pKv4nO6U8qfk0LBVFW+k1TGuOrmn9Gq2NQTxXil607QyI3TGsCJAZwIoZK1q
z+6gDnb/EaGPlFDnmVGuYJs5uUZAvcCfM0s2DtCUNaYasFbyjCA=
=tiv3
-----END PGP SIGNATURE-----