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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-2
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
 3db62800992373345bd8f3e2a8bb96799683c1ca 2056 coq-record-update_0.3.4-2.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 86bdb9ea86585349fc03adda18eadaf212a70d3529dbb160d17fa942c91a0fa1 2056 coq-record-update_0.3.4-2.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 2c3018911f7f04c29205a3735676deee 2056 coq-record-update_0.3.4-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYzlfMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+T8P/0nfRCIlCqXA0z0M/49RyZANrbLL2hLu
MD50ZYX4N6ryT3MYpdy7JdoL+3L+AZjkx/2PtgiX1RADT0+zCxj7hlbJ+6swom2C
+WemDzbOp5Dodq7Hdp5f5JdZDZ7bBf1miWgDhJJl5XfcY/2a2pStWsqO91Z8BLna
U4psOL1RyFK9EZpuN+W6yF7tZJfpnWT8+5lf2Hj31vIKsf+6NrfOzJQnQN7PX5rW
xHdAxtTghrXozrizO0DTIdtHXP2izLw4gq7X5e61hC3+dYRjtKYAgn+GifFl1DEr
YtkYYpXDxK7nzkMrywbsSvqEHOEXX1sqYEmijP6Xw1sLw9v+Tk1GmO49QbkiGwib
Er7q3ryW7BtLfmFMkXQfTeByF2RyLEVl2BPhhv3Z/6E1xC02SFbX6rBTvT+IQyqN
4GhO5iGovuCNYzMJMmIjtR76QU7klk2FLCw/T/UqWoB1PomUFTxQVWFBD6hA75ix
pmof80AbX9TF51UxryloA9MadWtjNZhpE2cAeSHxv6yATF0KbcUXewFeGQxgnV/N
O6xq1vdNXYP0MJFK/3ZpocKsI2ku9ZjXuhVHH8xarPLV/L+9w3ueps7+btt2EaT+
IxyHxyC5qeuCsQC+jL7YvBg+6grksAUpo67zzldlg0xSssUyaHKb7/bCIeqIeSWc
tutYNKVCboz0
=fqzn
-----END PGP SIGNATURE-----