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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-3build2
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.7.4
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 (>= 9), 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:
 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz
 206725ef7cb071bbaf8b8582cee7b17ea0ecac0e 2416 coq-record-update_0.3.7-3build2.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 31f8ed6bc5948a9b4b753f0627b7c02e2fb92ad2a7338b3c7ccd1af9f0504285 2416 coq-record-update_0.3.7-3build2.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 139f4b1f1b2dd24a93e7ba20f9e822c4 2416 coq-record-update_0.3.7-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0QQACgkQ808JdE6f
Xdm0FA//dzv3IHVW5qcADSBpMNZ30BeRBQLxmJM3crP5vlNK3uqwF22dOFMgluwz
dOYt8Xxf2n9CCXx2Fa55HciyxYbJeJyZi5WFBaemZaCYm7eJ4oaxIv3+Yq1k8M0g
Ux2/pQBVkPz7smPuI4iDhkAU2cK5uvoVmncYS1XYW5UINf3Ak1lkMuGfWJ3cShVo
biBqXRYQkRn/rTsl160bqiyy5gsjHAY3CeVpe2T3mXNHP8MSk/Iz+Z/TjBvCqxNk
VToboOqPOLi99nqYLdDGvpKm4uSPWVW9L3WrtY9Yn7iyFuSildvgqxQWEphpKKRx
zOIUH07LHo0dnQ8dJeGIfHkkaXefPVA6EErgeTS/JtxIck9MtVvrf+vn5gpt4eXx
EWv6THNAfQl6Tp4CjoFihKU9ORMRHRc8bkMYoxVuXgDjInQn2Us54V6rHBIDamKM
oHYxOfc82J0cCS5bdNf0Y8ci7fthx2dWwwLzHG20F+IWUBWD1ufNcBnytc83fSlj
uwcFWDlalaBcO62Bpi31MlQgHk8XU+8trtKw8XDr7Igti8CcAG+A4pm4Viy7DQ2n
EL3BOnZBsERkRNdBYA3wr1scFtOOCUc18KSG5ax6zdLYf12AkkqOAqzcVV/rpZqe
XzUCisWq/gD8i4oWmL6xF2sYfz7W2CCBexbq3taKQmNMYiHNGvY=
=C6nJ
-----END PGP SIGNATURE-----