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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-3build1
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
 8b0a074ae72ea268045dfe2b1402d75d9afe942d 2404 coq-record-update_0.3.7-3build1.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 7a0ff4c61643b2373d44a9ade5636c80fb99f86db0a37d3ee69a36f5ed72a4e1 2404 coq-record-update_0.3.7-3build1.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 9429e8abc6893d7745bb3966f2206596 2404 coq-record-update_0.3.7-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQsgACgkQ808JdE6f
XdmF2g/9Ey6CH0k9ZmIDp8vaHwq4907KP0SVYpimRmXY2s1r5qIpeLZprMICZL8Q
a6at4QDRndpR90Xg2UX1alg6MI8K7lMw5bIEbpjG897IFjcC1yGPe1aeyKQQt59s
uuOu/Bzp/GEzNucGsu1xOImTlRVCCk8NqTwoiA6MH/B0+kIHazkPnAiDQAXvovJG
LL2i9LXWS/RvadBL65wVaCp6/R5npiuUvcC9yg2Vm6Bn8lq8B2el7ZXrkc/2ATWw
C/WR03Ea3qFXvPy1Yd6pQeieWzLBWP0LayT8OQIQOfobTp3Iwb6Ig8OPn5YOdlDR
vGhUPjcNS5/rSSzS/Tzy6Ar2mdYM9Sm7FBredYjsdLKW9OwaYnOPwdrBo7MU64bm
e4LC/ev+4eAW8bGXsmc4SlP40SP0RIAMF+MkMFLDtxqbdcKY/G8SRWBwqomy/EkW
MRzCe5BcfMuOlIfGQcEmdC8NX6geGW8D+5onNt70RUfEJeQ38KXQ3vMIdrlTnl2u
udxuP+mzfH6IdfxMd1MCYxZORwzOHvMdl1SXF1UW2RMHuqYwDkr4+q/H2+ShTCpw
OQKsrB7tabRCY+KShpTnuJyzKIopq3ja0ofQq0l5ON8g8vMBbMwUzXaGzbnWJN4i
/vQbMUvtevkNxzA94fPpJgSmIkspQEPgdayTMwcwVnkRjModBrw=
=9vnG
-----END PGP SIGNATURE-----