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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-2build2
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:
 d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz
 f622fe59343b5459918eb1082a2df59608969ba6 2148 coq-record-update_0.3.4-2build2.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 eeb047fedc5bb4f66d412b0d3025ac36e8d41a891de6b2ae78cf6c5a8fbe6119 2148 coq-record-update_0.3.4-2build2.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 a0217809d511b4cefa564dca060f0c73 2148 coq-record-update_0.3.4-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpoYACgkQ808JdE6f
XdkfXxAApUjRlAd0zaCsAJ0ZLsyqaAfv+JiiKPAc8GjRln7+CiP2qc5t5/VUkbmd
qnHRAb9DEqNw0TielC/zkeOL3c/UMw7qLq8FZ+CnPTgCUmQIZP4Hn9urzk1XXpg5
bE3F65Kh1hHUy57tHEAcwv5V47vm1D4S6dgU4dkdnsyey8BTCljaWUtEwCKh4YmN
8DPXUgACzbpVcFN0pBaHAsfXNkkU+7MzAKpnXqyk4isje+IB0yF+74EZuIv/79wZ
bTLDS8Ji6BdvGEDqO8NanQrZqapkr3qyn+B4DfBUbztDY7s5kSR16vcJUdAwLrz0
BbWm7UzhfVoPfr2hyZjw6X0OkwD+7HqZGUq3PaZfVVx4EsryzIn/T/3WQ0vW5jA8
WGiEmEidnvRAYZQyH4QQI2LHmS5gG3tTxv06B/kJke81DOUa5FEKbJSgpBoBGsUS
RHnuRjFZrGxdEXtqAbc6WktodpGyAckxq2Zh0b7yYiJBDyc1H9m2/EjoMwhjaJ/E
8WqQP2d728DoYcWSjEt+VZP1yZhG2LkKAoEsCJD1OBWbq9baz4jaX0CRLmaCOkzC
T98zBcwa7QcoANcLXhbrxXsUavS0kjjJ1RzPuApHgep3XbCySeEab0tGafd02CL4
mveYFc+PNXNocV2PFLcgKaId8PNVMFtND1zE2VQz2Q55AzWVNg8=
=y+Lf
-----END PGP SIGNATURE-----