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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build1
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:
 d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz
 a3ab6bd5a32598222ddd4764e8e8bd06e57cfcbb 2236 coq-record-update_0.3.4-4build1.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 b7a711ad6b6d60e9e1418f5024ae0c8094c7bb090a26031d34641d27a1bebf89 2236 coq-record-update_0.3.4-4build1.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 e840e2e1bb724cfb75ce9c5c21bcff4b 2236 coq-record-update_0.3.4-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexyoACgkQ5mx3Wuv+
bH1a+RAAvMbwKqe2S4Rmiue8Knq25jP51T8wNOR+5J0jaPwllOhao/Li1pE1Ffw+
yAF8pwB26zNzQxOLOB7nKutRW4mR0r8WtvmzxPz0Lkh1ud/0XPJIf/LvB7BuUZp2
VUgS6CCG8ln3Rk+kAqKzU6QrExHF5e/8GRRTP8Fzut9T6g2+gsMywfflKgX7VysJ
xxwAFmcmyhDOGMDE7VWDvSxdIC+AGqU8pWN/LgABx0/5KNSOOxb/YEwdTPexMhBV
UMN9GogZTsj15fJnvnrhE1vmDVHBuQyqoLOuj74p0n4nD6CM+2uArhjbVwkFnIrp
S26Xg1ZIk8PQMEfU8pyq9x1cvQO2NOj7/N5FuUBSvraV0OeIPCljWztoHiDHdmIC
5ID+N6rT20jiGLy+Agtko9ItOkV58XpmbIlbrsUkObjRfBGmzjLRrqc1wYsZa0zw
DQwSyPsdCELi1J5KwtsVg4hfFRIFYtdRYUvWYDVaYG6ndbjmTNwTaC1oCbfJmkIV
m3CQQ9WiNvdzP2AtKYtTzzkni0YYG6pH6utx5n8IgopgjWWyUkXeuHCetkjc0gSZ
/IKcEt+T9IiyJaQN7qxb3AhfUlIEN0dlSI97mCxIZfGaNFm0+mkXT86apUiYTJYd
WZW95bkpvY3eixU4ZonNNvbMjyr6Kq6ufTK4jyTRH0g6nTFc5Hg=
=ZAv4
-----END PGP SIGNATURE-----