-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.3-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 b61a2661ef454cee9095ffe4aa7e51e680f52ad3 2216 coq-record-update_0.3.3-1build4.debian.tar.xz
Checksums-Sha256:
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 71de9aa327b92a2b966626b3643f67499490956131a0a48ebd8b41f70d502494 2216 coq-record-update_0.3.3-1build4.debian.tar.xz
Files:
 67fc7dead388bfec2b737241dcd9e3d8 13644 coq-record-update_0.3.3.orig.tar.gz
 081575bdab99face138d7c426070fb71 2216 coq-record-update_0.3.3-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmWoACgkQ808JdE6f
Xdkf2w//THFsbrKpQPDY8KhCY3WL2HGn6AuLbkGq+DC5OqkfE6A8jOBEM+/1vgKs
/JXEXPWWdzqpEic1XEo1g4LGV/IPXXGHzlL2kJ3l9SXc8wFjvawYoOTM5g/HNf0U
g8jnHFJipC4PYoB5h7dxcQph6LSqiv+bl39HT+XH5gpPtUPQ2np+vVi5W96CkJ3v
oArQfUIQpnl2IqaiGH4Raz5+56K5XnFjGyPDC4ufNFWAIUO/3a6uwsCgd65ZVdNg
lz3l7H79vCxtyAeTsFoATIiSOCn3xvTavLzS6FU++sW2zgziChGscxDa0Lh3BCY8
boDaZmyLysvjHXCJuAPnxqLnq6RwMOw0IWyEPhQnO8aNIYvnq8IYL2VykhiEOFiV
the4o/Ef3CfhcVaTV2vC+4rrNE4/KjiIMatW+GpI6+z5/SLZtuX8boH1CcEdtTtp
ywlnqTGBpz6Lcv7IU+n5fgf7elB8mpi0dBs0WsrShXl/do04npm0LMDPqqAgq0ow
A81hpX9od91QjLqyN5KU//WxxNc+hSamVr2fg5H2JLbAjLrXbzccK5yvcjvgEYEV
4ZhPxCXpg7/Uvudt45HazG1Ya/K4BLWgf+tY6IYTfee1jBkkQ5Wdrz5k3gfcu3Ty
l+NOi8MPixsxBC3Ih9T3o/3f/NfTqBy64LVgPxxh2lCQyOu0BX4=
=aIgg
-----END PGP SIGNATURE-----