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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4
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
 10ec532ca4ea95b74113257c3054c784a73c1483 2176 coq-record-update_0.3.4-4.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 ae44430f790712f35b571cd36a1024d4e3058139d1f0d315a9ecf446c88dd371 2176 coq-record-update_0.3.4-4.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 60ee0f68f7bc699c193a867ddbbc9b7f 2176 coq-record-update_0.3.4-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB9KkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7WIQAIVjpFQCBBXFyqgF88ZF7mnNjlkTA0Ux
J5MSYWlYUKuCN4VirhvkbG4ndGe7EDbI6xOWGdJN7qWQPFoC779mMVsvySdh8UMG
ZzuAAIT5BI+4OvDdnRKE4yp7akbzHOMjC36sZg3QHDjekAQMI2p9V1sLaBXeoj6Z
dnGCB+aBtBsiYiMzXGCmLtJgJn8O8O2dw0JnfzNk+/JmHOePR4H9B7z9VoZr8fwz
A1DO6msycvS59IZM6oe8CvdmJiYsVx0Bmb6QdGHd+FusZ+dlS5J2V+F8Gzq1mFps
YJF/p32Ts90U7h3bWV+GiaFhLX8X2vUjnWjs6ikPfyCeqOvtZu8OMUJlsxJT4gTZ
jn6xFGmobngvBH6SMJmgj6w80C+X6YnKB3YlufHZRretslshsLaxCDcc+EDaF9qL
mhvDKBHHLdTRCeI54DK9vgJYvCkae1FalLkS5UIFRCphH95eRYyndoMjgnJxKYuS
W0nJPrGL90y02O8Uwwd1U8LZUc4YmwZipelSYhrVKeuj/+1KPz80aFJmDZWALtmf
VkBK5qgd2AvGGjrnGo2ptEzQOuqEx2KE339vkfgMYoMS0XSanWAkuNndkJ39rz2M
7ATsxRkjFwVUM1czwdZWqyzYttziU+oQrxw4hHnsDOPH/Ul5xXFRK9x1fiXiwMSd
/upkck/R94vx
=fZED
-----END PGP SIGNATURE-----