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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-1
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-record-update deb ocaml optional arch=any
Checksums-Sha1:
 9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4 13484 coq-record-update_0.3.1.orig.tar.gz
 f7dcdee5d3e1626c2024af02eb854776c70430ef 1820 coq-record-update_0.3.1-1.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 d050dc54073d51d9d32bf3f0b241294cd2370f8666b96ba968fd00839d230553 1820 coq-record-update_0.3.1-1.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 4926da80cab98430a821de8e0e54f473 1820 coq-record-update_0.3.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLTP9ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDL0QAIy+0sV5B5Bls1EChe5tIkgfqnNPkb1M
CarRRh6nNsmsAjk4c0NnCrK4MdByIuZcKrqivfpFF+oAEnmKn4igI8pJIADsiGRF
ailJh20pmDyJMR0LMtgIHiGQYPW8KYfLlEBz5gY7xM8DfzIFgnvupBpAtn5GOBMp
JW0pnKpi7/0QaI7JOKNrGkcfNTDKLETKFnqaggXaQRihpOsC/sBtHd4Fr7IpAF1Y
ZueCxalkZ0HuPx4A1Yd0Jwf+IGVEWbCnfoKypG819aIag63UDG4K4OZjOaxstYPk
9bmYnqmM/4zryNBk7/ZvIurOemo5rQE/NFkRHg7shGA8vEI1Gx4kxnK3PoZypQO4
hJFevJbjGwTkxvEzgeuO/A1trclDbWS/AVWLXux8onobDWNu2wvwovg4NHm18uVB
IyCLT/gkNEZ1MVea53kD4MCkTxPjjJ206R7ptg3bLLiHZb6bk/6X6y+ApVMM6BTs
uDGdAy9LxtDX4WmM2cPVEtqnz1PA6LQS4tJS4VPh3+RMpXV60MYjYKRM4SbCvHna
+lTs6+myP+qiJy2cGok7Mac9S947y/oDvsJ0KFV7eXu3DR4+jFb2XH2Q0Kz5GF+A
+1a1V0mOnw3kK5lygpODrAIOrq6hHcomABVz5snRppmI5eHZJgXKEwLvD0I7cCLr
a+tHdYjku1kd
=zQnD
-----END PGP SIGNATURE-----