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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build2
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
 0f51560c0b30babf41d2fb3a06cd32af486f555b 2296 coq-record-update_0.3.4-4build2.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 e2b058815e5776be1234c0fcbc14e78a368938e8242f81f5de07e83af552312d 2296 coq-record-update_0.3.4-4build2.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 c68b84fd8386dd68818638a932637ed9 2296 coq-record-update_0.3.4-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugNgACgkQ808JdE6f
XdmxOhAAxkWSFNU+Glsms6ixrcEP1QTdMCZNN+ZE9EQeQH8SY9Y3ELVMdOZwSkJb
Ux5FfNm2a5E0AyGk60cjrCpCEe/0BMrtABD3B1shE9QvGA/wYZcdr0SilKBYCqCw
LcYY6xMAo4J2dTzaGjRMW/6XWLmz1/YadbS0lfY4Wj7XUpx4AANEkVEVQ5GT45J3
+QCCRHMdPmF7zJsFV7ZMxPIw9ooUDBAusD7+HlSBlGMzcNT6wNfnyFipboqWOCTZ
razOuCPoFSZDdhwAPbJ/xTG+v8/Mo+/z/695tAuTIxdEEMW6U7UGlGj7mnK6AE3R
a5Cfm+IRTfw019eO7lVcj5aHEzlTvaITjy0lfGffjKmWobrvzjqVRpUNmVlpqhs9
7hHN9KOAbbWRZALasZFJQ86acDv7HmeZ1kJ/IysCEFbXP3CpU/Q8vWB54uWMwaq0
3G1r7Tb63OmL1wl3SC+GXa9Z9qxPUHaZBK9IMZbwy168hiIilr8xm0HIvGM21NiG
yP2EUPz+lzBlBx7SlPNYQV8lk36wHOJZCErwPQn7q+EmL+Fs/VYrc0/bYq67MeJk
24lazx61dJTAnbTpg6qMv/ab7xPWLAqzmdzKKq1G9GcQrgi3TzGyljzMjcTtp7hN
vAKPYv0A6RnNFGo40Gr63T47GIxo9opTH+fZKgfMSrcAaQv08XY=
=ewlT
-----END PGP SIGNATURE-----