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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build7
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
 71a4ddd20fd83b79b4425cb54c0b453de2bd8364 2448 coq-record-update_0.3.4-4build7.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 cbc329143c348d82446aabc9b386649e7d3b322e3b3c44950c96cee65dca3d30 2448 coq-record-update_0.3.4-4build7.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 6095a03c84993ddd8d3167e5b01f0ae4 2448 coq-record-update_0.3.4-4build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOAUACgkQWWH9vpxh
mAlPDBAAloI1179A2vE+dSyBH8duj1iN3/te2uvHPYbz/ST06W9pen8XcKowT3ls
Fh2dZ+G9/9rpahG9Ms4TCzNVHqc2nnKwWM+v/9gID4G2WJ13ERhW5uMBhQgqiMUl
LEWofe4vVBMJqmT70zkaNfQN11mw+BwvVWFa+f21tGNBtQaOy5opDUENrmF5r2ZQ
S787dnTXDMQj+l34SfUNfCEFwupiee0/OePS+zufjevsrdB7yByL6uzgumvJCYy/
S2HHNoy5WDndgYQfPUF9G1ILfIxEDaJjrQ+YOPUUtyUe22UwHM19+3LFVeQ3CB/8
JUsOw0hJTrylVfqXtFj+9Vphn6PXEu5mL/qioWA0rJUa211bNsSeIvNHE0g2RBxe
IWv8td3DDsINe17on1tEtnVSN5Fcbf/bI3961JNj/y4RbsHfhqallKsFIiXdR8xO
c6JJZB7C5M11a/arD4FO/B9UJHqwEWhXGyZ3OHE0mH1eG3PVKcyx5EMMIAf1E9OW
2yHdhNGRpndF9ivvde7JGRa+mRotEMOUcDedW9sUcX4elwrrZ38/AWfliy2mKn9X
khpl2l2htL9plqKzuUj6ADtipKTtehTRQ312yE8a1y2m2flcc6ZSM767U/1ixYYY
tKaA8Jep2hot57V/ij5FwvcTmgKqb4sJ+CJ3jy52CNlrkXGO8SU=
=JXJk
-----END PGP SIGNATURE-----