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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-3
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
 88663c37f5759b4bdf7b07b8e9a5e9eb67238ebc 2324 coq-record-update_0.3.7-3.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 a3d4eeefc17cc034008c1c754049e9c4156f73b324203eb46f660e70473f649c 2324 coq-record-update_0.3.7-3.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 3b98c101d5d663902d44689b08adc266 2324 coq-record-update_0.3.7-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodsAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURPtD/9S+1m8Icy2gilGzEEZJ8rx
OTLeBrQPKr+tICG84ZQSokaL09EwdhBzHOPhlYxmqSzzOdAyHkXE5OgeGG//Sjfd
BuE1Hs3Pz9UI6xRmQ4xBjD1GHDU95z/gbQYFTi/tqs3PtwRBPBv0ZTC4UlaF9/4W
5Lts3i3V/OgLDnGdzyX7dj3auUsyfOSkNsm/PzstbNpS5FoXtc/RXjNmWLSJpAPH
JrtcO9awJVRBw+henW+5pvedAp5+cClWWThjlxPjPERKg+RwznKMuhqwkBcBm58t
qPfu+MMRh0dhBJoFIMPuhj3/b/x0U4/M4+AP/W4OhJFOpCgsIzZQtCXLKcKN4cY0
gk6B95UdQzD4IqkWS0AWicqetRMnSnEIFSC+wAS//LA/i4dVvUGe/KooQpDaMSqx
ziIIIK2DJTvsNnPZXmwjMERKr2whNENvDR6EMrEWi2DBLui3fG8mHuR0oFOchkB7
nWPDS+6mwVH/VoMC5tVU1cFCBnnJ0d2u5Egj3Fla0gJKaINJWAm+WKziSCeYxRbh
9T7Nf/Qy9JKC8Ha9LKmrqt5+CIDzMMBNfVZxZYl0qEOVOcS4ST22mGj+vOu1cxN0
VURnIP+nrKFf6dmujNYvMridIwSzcsigralrnX2xK07updAwxvWBgaCMs7mKZck+
sKSIqDV28jO7HiRXuztZJw==
=bORC
-----END PGP SIGNATURE-----