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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-3build3
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
 5ed52e7c8fddd58981dea5906e1186c557eab79a 2260 coq-record-update_0.3.4-3build3.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 8734447ee7ade560078b8152e293b398b225d1d8d97adadcd1dce3f74a4c152c 2260 coq-record-update_0.3.4-3build3.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 864ebaed171a0383f1a04bb8800d7a29 2260 coq-record-update_0.3.4-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZKYACgkQLIPbyOm9
DjetFw//bMUmtI6Cf9kd51RrP6VZxWSJ2zvQ3qg4Ei30CRJt90JkmF6PjBxhWaO5
wR9H9B3/kH3nLhBKLWS4tD0uL7qn9S0i1EzUbHUF1ZVSslzsQGOrRvZj7G4roq0/
DY93lL77uSjYehgof8D+m9UJpfmXpxU7xjS+DJjqBLMxS3M78U2sDJcQAomLcmD6
pdNfXRTJ91MGwgBmkQTtPdj/VK4gY82+HbmbQxu+GyaBZzWzCDZrl9YX82QIuIQE
hnNDxcbe8oNmIFam0sPAcAM0o7jKx+sk2OMKkhcL8od0PdKA0RaL0xXlTftfCFK+
m3jBaqkJ9tv3Py7kvo2T9DRDXQahz2z6DGWfLK9mCXfXsPLxop/FjF77EYBGj5jA
hy7i1IBxS8Wlf/CAVSETGIZWNsLDZWO7OQVsMDGXgvjyl94f7BgzgP/3LMKnS/wZ
HdAv03WGKK6C1c/OcZrusTMblCb12szaDU7NZMErN4hcnD/G+F0qdctNls5cQqQs
gc/UyatwTUhav6FAbILuawNHfyJozD6YTbjhhfCQb2E7rj0BNlvAKwlns57qV+AS
7DdiDjW4IkRSQOBIf90xSwW7Qi4Yr5YRWvoZGfu4hVcux5UNrlTO5uqyu50Vs8ZG
YrM7ZrTU8Hd7I3ksjd3b48z9gwRTukApX1fWC7kFkC5OnCx75uE=
=HjtQ
-----END PGP SIGNATURE-----