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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.6-1
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.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:
 612f71a3e75c6bfaf0c8d7ca10bd00979bab14ae 18888 coq-record-update_0.3.6.orig.tar.gz
 2c78d3db94f4e0f5de6af801db573f8702eb0969 2264 coq-record-update_0.3.6-1.debian.tar.xz
Checksums-Sha256:
 1273cf5b9c6795dbc168d8f853bbfd01ba09df07d3a19297601e09b4c247c46d 18888 coq-record-update_0.3.6.orig.tar.gz
 5a2e115362b1d8708d3e640a8ec34ea96e646f671fad6db5a6bbb555ca939452 2264 coq-record-update_0.3.6-1.debian.tar.xz
Files:
 b09c7b7cd05cdba07958bfbc452fd961 18888 coq-record-update_0.3.6.orig.tar.gz
 e5c2908e371628e7d716e0ee98151b8d 2264 coq-record-update_0.3.6-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzyoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTYQD/9spjglEw+eawQq86mqi/P/
ORa6wV/qXk6AkauFG1gQZSa5QYG6wfrJxHntMAy7cn4HaXoCCvhMnmEoYVRTmldc
9k772KwzB3iJJJv8ZRm1N1WrNm2khKGM5fqbOwN2sSWFEySwgy2uqAciLwf3JoQs
DtfyfQF7Z7UGOJkQsnAXBbPVW/4w5aDcakZm5vKY4gIjlqO8IoRq9OVX8Q9pyznM
mnDjWKQpa9+u23jrhb3mww631Spt+3sgCnFdJASTbHDrRenRLs9xOqzhFBO1/NB7
CN03nTlz41UH0CVfzUALeqW7xPSXpH0fHF9f+OcsxOP4OC8/mzfpPKJYxPlmYfA6
GgTTQ0GM6AmStHnbhoVpLN/hXhPJYVOm1bqWOOVSpuf2CFoY4Ec5uSVk8q/YGsiF
9kNhEpAYUnuwbSLYa0wopIRRyqBBDUJUXLp3hXzaubqnndfTMTfKME1HE11h6zhU
E5t+uD1jdbHYvG/Xy6cs7bAZvs+M1nH0U+RrX4DEi1hDXldehPem6/N+cLLGQ8ll
/6D3KvMAbv++kukOZ1Vo8bRK9ZvXAvxrmjTjsKPH099SPsKPx69+Az9O0C+zC2LJ
yTwWiOGKAVZOBoqBPs07Vb0FCwEiePLfXl0UQZH49WEJ3QpSlomg7lwhijGo7dNF
uD8/XPAJM3hdnKnENdnoFQ==
=La0p
-----END PGP SIGNATURE-----