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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.2-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.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:
 ed19c3c0bd235084af68d612fbe57c4eb05137a9 13624 coq-record-update_0.3.2.orig.tar.gz
 d4e4151038018742b038c929349fac30fedf6a44 1920 coq-record-update_0.3.2-1.debian.tar.xz
Checksums-Sha256:
 896b3d82ac18cbcf1078985cb9f17cbcfa453d3659949e486cb0f8bdead9016e 13624 coq-record-update_0.3.2.orig.tar.gz
 fd713c3e331e31dc856740e0947fe273d1872a89f761a78ab21cd2331ee2fe11 1920 coq-record-update_0.3.2-1.debian.tar.xz
Files:
 a0975afa703fbe7d16c65d0149780269 13624 coq-record-update_0.3.2.orig.tar.gz
 b0d0140d92c5f45371411bbb3fefbca3 1920 coq-record-update_0.3.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVsoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9lgQAKhROTRxW0FJLSN6sAa2A1jTLMcU1vsh
RhsU3Iv9o9Ljcd+mgkugy7og+6zwEchVxwIYXoLd5YQKzlrvTaXxU+Hlnt7sRNZ2
oVeReAYCRD5DeDbVlt1U0Gl1P/lP17ojP2aNQbQEGOOzfNA5F46SwMyZK8BHyQSp
qfslSw93u0Fg5/SFblbofFZpIE42hLvUaK13FAO6KBR4iEbgTk4fNHD37RPVkr7p
EATHYRTY65RqfTQRvKm7as0XL6B8YjQpWLQYkAuTl1oXsszxsg8kauLi/HFVCO8K
+Ue9p3W3W6uJAFagNgMsDvN6130BqS2AS7FGVmJnJOvYAJwTI0g59zi2Mal4bqRx
r4vxSdZGuyFWqk3hBen/xyk6EYiPbV7iaHJSZ+gFZOXVYjkPxKKkfHmv+FK7cSjj
ykSwawREZ2EQmRjO2+19LGBFEFQXJv0Uoib4IzdhG+mESSkbrBXbjEckNINUzgwW
QcoRQ8H3C6ExfipELcwiUoFqeOPWSBpSjqqJTXGHO2ENAdZSLaFFYR+80SpALqEj
q/Atlt2Z7e4obR/L5McijsgzdQ9ILNRqsuXBOuOKOEozxRNPK6rg8J6vW9UdtSqA
nFIbgU5ahA80thFZlz4pySBm33QlfrO060IPvoVU6aCsULfU5EiUhx5/m8F+krxF
9C9Rtb9lRId1
=v5+K
-----END PGP SIGNATURE-----