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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-3
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
 df2448a69f02fc60f5eefe6a17d518c40f86b822 2132 coq-record-update_0.3.4-3.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 2a1be0daaa5dbe7c9409e1b5e7ead96e6dfbb063730dc7e7cb828f2fbca2806e 2132 coq-record-update_0.3.4-3.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 8d4b6726362e804001170222d8e145fc 2132 coq-record-update_0.3.4-3.debian.tar.xz
Dgit: c7e5ecc9a384e259eaf75164c6ca3082e1e10a91 debian archive/debian/0.3.4-3 https://git.dgit.debian.org/coq-record-update

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTjYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBRZAH/jeK2e1hdQzW2ui+vpI+QH/ybRGq+Z7x
UuLafOVqXLp3uxU+raoFDbcEQT/Z0aww1EYZMzUggpwg+eFjKgpNgPvtCHEZkbRR
NxdKy6CvBSsahBCqto895Q7W/inyVly/DStt/BY8zzAtuTJwW1a3b2q5/oKRWbEi
8z5Z3lRiWo0xYtwLWU6o3vuAncpwA8QvzHt80xq16AjRcJFyRktMbhgWDTfT9NaU
U15BSCOqEJ68Vr+zjS54UdsSXeSKU5nQeSfBEi5WShm4s1Sb9Nv/IjGqTvpDBH7v
UIkYM6B+z+XbVx5QwEfocsxjuWoIJI3h6Xk0PNx+bs7Sqc2LchqVi88=
=1mSf
-----END PGP SIGNATURE-----