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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.3-1build2
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
 2befe9e7623011d35720b77fb219c45bb44b0627 2136 coq-record-update_0.3.3-1build2.debian.tar.xz
Checksums-Sha256:
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 969b121a199a98514e3e333f418ebd652173a2a2174a1678cc363a1f768984a5 2136 coq-record-update_0.3.3-1build2.debian.tar.xz
Files:
 67fc7dead388bfec2b737241dcd9e3d8 13644 coq-record-update_0.3.3.orig.tar.gz
 9388cd15d47aef2f51bb8f6f4eb6f9e1 2136 coq-record-update_0.3.3-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cHYaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1EnQ/9GQpEmbvmJcc72eLYGOY4
ehz3bdhr+1g83Xa19zFEkAo8a01hWNYOXASlZg642edJKAB98HA44/+ZMWrLlt9d
c9HOk9nWBtX+kQDeIrg3LI9VCuIN4D/rRUgwLoXegLznIb2Eyo2RTO6ed6UTPMKU
jSOU5T72ye0Tvc9EOlXgxHZp3CmQ2rGomxve8Md0/ybPCFk3Z2CJve7Cc3ZD+JcU
TEpPeBoOIlwK7hcrIiI4rF74IM7DCDqdOCjg/OQrcQexxgw3JKsskNZNvDL/iKaT
A80BJbytAUV5KkL1SOFxTJraVGwX1KN+t8DCZ4TyV5kop8GqC57jaeP+MazXI/eo
LE5q1vY1AFp4sKd2vKiy1mWRIeur45rhrrVv7/+9MKGnhmgvtnIKfWnuHpnwsj0O
8uf+nnENyWYw37g5s943WwAwWfXDhefj5WbqyC2OHXZXZ6fCUlOVc6Y4vGVHOh+s
nyZfpnj3gdbhXnlwuaRTGZXCrw1UH2LEThy/AHpfsGCDqpon5JZaoyQjtsap/MBC
SgAKf5hZDN4ROoi6DNmoyrraZC1sfuUrgjUx70TQftg4Mcm3NH6xma4JDUAdRwMK
xMjGIORwolmqNNskYPr0CsoB/OMNqIKiu95t4rfBBDIaBfJ2/DZNg6MC3oy4t3Wd
pZpjIk4Q8SpobfRDhjdwV1w=
=mo9e
-----END PGP SIGNATURE-----