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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build3
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
 2a31ad0d52c0b8212f2b26226388d4ca2321249c 2348 coq-record-update_0.3.4-4build3.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 e4e0c85181208fc076e1e7c1758fd41f405533242c5f8928c59bd6fc559324ca 2348 coq-record-update_0.3.4-4build3.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 ba0f73bfc1a0546f0f9198fb9aff6d6f 2348 coq-record-update_0.3.4-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme057sACgkQLIPbyOm9
DjenTA/+Nou6snxYzjXGh1dDO9aSE9YC/Z5ZkJfbULbBe7BBZFGJpMzf9YS0QFE0
lmJkP214at8XZ8SUCHhpod3ttWRFaXix2JjbVg/lZQB1DfQ18MX4GUOOwcjLwPOg
RlpQgprySNqgs006HSEh5zh7tYxdmOM5DPQFSO0CH49eESRgfnFtuLpLVBHDw+8h
U2BtLjsykhobNKfiFPER2v7kxxgNdD/ZTN4ZuwrwaClsjP9TOo55rI9nuewPqJGZ
hWGJ+IkVLhNbLqeTP6okjq9Q4RQr5h6Q0oCA7pIl2k388YFZqz7/Ozk7xyNZcrUr
vbhwWkrA2wyglvFfiHX4qz8HhdXvgbBMt6YIOMdEzzFjpH+AKGgvjI0mW8pX2EIH
MytPt+JTb4K5JecwTK7VaHmyVxk6U7X4yytbY86CYEIjDaXkRkELnIYRUUnwKhXi
LFXkO0kTCfo3xnWqnDfayu6sYWXiuSGIeCIE9nUIn0LXUerujKGJ2A2PBNgqHLa/
hda37itFYvIUUjR8mcgqgf+G2xCJ63uijLtxMeJKPhz7NBwrjxAvvtcRqZS75468
VZzLrjp9GytXO9FbQyhV6llOE1Mf8LHkb0DMawBeTDKY0eWFmPZkKbjI/Gg9Ik66
zKEfXYK5nQeqbxqvLRfOy5x4ogrescz7vq3hEPkTy5DksTZmJBs=
=bXdq
-----END PGP SIGNATURE-----