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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.3-1build1
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:
 b626542581be1026dccd66c4ac313187da8af388 13644 coq-record-update_0.3.3.orig.tar.gz
 6413cf18836224feaca9cebb1725e6768f250420 2044 coq-record-update_0.3.3-1build1.debian.tar.xz
Checksums-Sha256:
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 27ae3e8e16162bc6134c3ae4a2e0d6444122258b49cc4eafbf75a659ed893ca3 2044 coq-record-update_0.3.3-1build1.debian.tar.xz
Files:
 67fc7dead388bfec2b737241dcd9e3d8 13644 coq-record-update_0.3.3.orig.tar.gz
 705e0c29990200014a46f14785147123 2044 coq-record-update_0.3.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGRLMACgkQ5mx3Wuv+
bH0bJg/9Fn7VXnYHZPsMDD/MQa//HSBCGdG//kpCFIJskH2ZFFxu/an3erDhHtbf
ZXGXFr8axn431nqQgigKcSF+gP3DiF8IU9diV2wjfuSZBBJjiIq2j4nSlAHZV45e
HbJ98WhXHwGAMF8XaTFfa5pJQ8r8N8o2x8eUPdNMiM9kpkOqeTqKw8xO5LkUiqFX
bptUWkTW2sgTR7CVQwqxC1mPbvQl69d1ljNEyKxpCZxPfCBTYnvQfBkftUCqbeOq
UATrxlfChJ6QtV2TRvyhDL9IMdpj3n9Dowmuayp4QaUnEsl59dIJ6JIcPJe1erHl
WkBoNaqs7cEMq/AJKHJx3KHsW3o6FmPMsUIXVpV8fZW4A/yHc0dr6E3uVoZfhmuz
jqLqpIUJX7b2lvS07IEZCLA0azqBjj5VJLq90XofvXsrZMbH/qkZJMAHgqcLr0Gm
aViUXh08cdck8iIn+MC8swDjP+PbxxGpDVECJhfEV12/luq/9W3HZ0SODkb4jKh5
wgClTx1RAZ838YuPma4zHpQ6ai/qXIjAmHr13TDdGjfuwLaEBlJLRejUqe8hqePK
BtFxKxFPaRMfMle1fQ3NcFh2gcUAwxcaiNMIFbAwbPRNCaGUeyqRs9grhP1N7Keo
ngf/+sraeW7qxoeR22O/o27yJkK7wBW+MWYkvPaU72tIy55GCgE=
=HAbc
-----END PGP SIGNATURE-----