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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-3build4
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
 5c39bb1ad8b70b154e5b15e5a63872fafdd874ef 2320 coq-record-update_0.3.4-3build4.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 70b9a7c98d269eb8a15ba0c880b3e76b7b4b8682474bdbbade7b307f16773967 2320 coq-record-update_0.3.4-3build4.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 938b8d83029e9b03e5746ca4bcdd0082 2320 coq-record-update_0.3.4-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+Yy0ACgkQ5mx3Wuv+
bH0JUg//evyWtxAZeW3Te9xTAapejHCQmorLLrIR+HcsPWh/CTNIbphKsH/LlKID
ZqII+slfEmlBr3HpEdBgzvf7+pdCuTxy0H1v9zpnm0qNVbEXgqSiNQV9P6S+MvpC
cACVboUMsonWbEbhlj0WVIJIsO7XioZvekUOXXwGjpZaEtcF5CUom6LPLOHhX5Vd
ApQqgmdO/nQTPHl+fcbftJTQift/xPjweacR7h9h+z1KbpNsEd2B6vbgmk4slhu3
iwTJWsrjsRbkNe3tsLs4n7IqLIYvi2u3ry11YaOFELWQSeBPTOPcXMNPFaLj7bMP
VWJVgg9oq7HzFhzGUE7RtGo1mDMFUW8xhu1HJ8J1LMeDXXGItn0Kl/A99NdEHPmF
UDEeTmfZMp/7aQKaYWQ+UZc20LlsQGzS0fYDRZd/cuc6f5xDa+veNimga9U1daqm
n7TsyS8l9kH22o2mToUy22NGi0VvXw2+3VlJuA0E+ecpTfc9zWSLA6rwZnebqeWi
q72drww/iwwAaVEnofE9SLUIqT83vNnHbkGLPfKefJjX7RxQZuXajVpZ6sHisOnP
Ak7Grllv8O4d042yuQj+tz1YUHJyVyyVBzDcVQGni8MkK7bPJeDj3ISTnzqX+jVD
534+DVo4U6jr75+RnPNfMi3EkkfYUbK0W1vppCWIQqIHNSRePCY=
=RdDf
-----END PGP SIGNATURE-----