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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-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.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
 102d46597dc48e32d4ab652f95c703bf1ff6d893 2480 coq-record-update_0.3.7-3build4.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 9611177dc14500f188ec1a119c7d735754539c2bf07ad61d9d61e1d54006d2d0 2480 coq-record-update_0.3.7-3build4.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 b6ade8a073570f43283a913dd560fccb 2480 coq-record-update_0.3.7-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAQACgkQLIPbyOm9
DjcS7Q/9HL9sdDq4k/7c8huaxee5FXTqSEcwQpHuBB/9P99Lvg8AmBSMciOpKnZS
NPtqZrE2b0fOI0ImoaK96x9V/7xkSQFV4zft8tY9nXbP9XZKqcrBI5XIr2P5GShX
y4U1b4fgFekRH+g+yOXss51m+kwVLzO9Lgo2Dht30wHXn3UKsxbg2SckYVjpk6dj
Y3vEqwPl+khYNgLRQmgJgcG0CswKmFDJOV9c1EuGXozSi0f6CAyc1MlqCNiSX/Hk
8IyTSSvOuaMPFBnvxAIe7qvQv5ASHEbefKwkSo/RCC7QwFwriLDZveNqPzsZ0i32
sS1Azn/6whvBdaZt1tZzMIDzId9OWyi9wm9z17kduwdfbsh/CxPRnEQbtJS0GhEu
sHObA0MSLfDFoR/+8td2O631cEfgstpEzENz2O5ty/vWMCkSQByR4n2LZV5hRcyy
oPPHXfIZceOKzlh+GsyDeTR9dbp0bSQwl+x2jMxLBeTcT6YwNgRAq70FjoVeSUaF
Mo0BaGrP51rF4SBajy/2aj6LM8Z5TZg47znZ5fPMa7/T8w1Ypgg2t/qnQ1f8ocme
rYZuIE16rTXebGEpnjm6sBTghNPXS4K44wzdDkwbAiqCL+NelssLMGIxQXlmy5Jn
JifP4kLQrku2wG+quEejFThqafQHaGMY0kgyVAk6FnFa9vrXpaU=
=MsfJ
-----END PGP SIGNATURE-----