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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build8
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
 381feff5eb0b503e4e8930f2fa43384920717025 2472 coq-record-update_0.3.4-4build8.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 aa761b872fa67685f259c24237e29da053e2167a86d3cf044f14bb0e8a12db3a 2472 coq-record-update_0.3.4-4build8.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 bb81dea7798c8be14d9f12452188642f 2472 coq-record-update_0.3.4-4build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYdEACgkQ808JdE6f
Xdlz4RAAyBfKv5vKgeZY/6haPfx3t5VeAekHjdQCmNzzSUwO7HwqSgDHYWTPvlYZ
TgXlxKBIOH7urH3wt+uHE81M+54PgM8x1gImzWu9hp/3eQHb0wXT5CsCkIoOwXw8
qkKSTomitAoLAV6XEtHeNa7CG4qaLiz4P0wBjP7X+F5kOVJ/uxTY3hUnRSMWYInh
ZHO5D+Go8+ZMRuzfP6HOoMxBwQItqtO7elEdLGbLeddRx/C7KEFgcmMz4XgSM/a7
TVUD0HcmfLe6qtSaFA/6bdBroMusuzDcq4MKcvzf5TRjjb+bZLo5TGqexT8Xe7l+
5vIBgkhGqK6AJHjkFuDhcwDKPglEDrYWF2WgXjputgsalcLVcx9HZs+FpZLbizFR
mi0R0F7RYYfzSh1FVorINTK62C6P+OwhZZ3mZR9VkOxxYMSGr2U+m+lL4PgjRgAI
FRrjO+H6NiYyqOcybFhtsjZYHbzkXkEZVlDzQpf8T7hbzLX494rfiuR7KtekyJVo
R0voKSWSgvtMnQPhucpvgEmOgQVJ4v05EMjdBg9w5/RPyYAoNweWnUB3G5JEWO38
B4521lNa27Ug9piGwe4yPE+dxxZpdRM+aGxZ85xp12X3Ol7H9eJPIz2omRhlka/S
3t8fzZaOJC7pAp2HmIcYyn2VN0pNK+Y89PWSOs2fyczE44gvWI0=
=/wvH
-----END PGP SIGNATURE-----