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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-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 (>= 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
 7623577d36f9e6b2dfb4cf19e1962c8066fcbf14 2304 coq-record-update_0.3.7-1.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 939688342eeb539044b9623b128d99d208e3006cdaf3a8448942922970cb7551 2304 coq-record-update_0.3.7-1.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 9cf68c0837b18b148a2cac276cd37d76 2304 coq-record-update_0.3.7-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRC6sZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa7CD/oDgTgl7wJXgRDHU+xrUpet
V/E9Le+CE3xSPQ6ly06Cv4WOyVidhBIKPucHJ9EopAP57vOJ6mqU55IiJgsE5KqO
z4e1DzfFHvi6fy0wB4D/14gOF5meZAA/VNhKCSEcZBWrFPWGg21wSKVj3jbih0l/
jpnwm/sDMQ9iLSJl4tGYmdhvyb1Cm53Y3LM6PYzLiRvjomElzbEtZXgZrwqoFgTi
Su8vIN29Lsd+N0Kd4yb+7nSbab+/AKxCUAymb/Z2mfmraYDHhw3hAFoZKcY9CvWA
TjvGGuQ4v9yIEYSNiADvg/Fvtpu5ZmX4Elclg1+OvguObUQNOrwnMLngOL2I+s1z
QlBCkh/ghyHiTJIdhTt6uFgB7LfTGRY28VSpuaycl6Ae1lA+mRm5XeUGxb0awHn3
WYhz0I+RktUS15InQOonwuh9Pu0UjEbKP4gtkviXuuasrDcT5YdIrc77MtMiyVs6
IqxIuzY2zUqMdVCJprvk4gm01pgQzQvJNVNGlOewkIRUD3kpLMsebeviE+fdCRyO
5a27G6UYeswuzcn1n8P4+8x6/Il+Q3RTTmAMu/Tz76A0ugVfJ4qLd0ZegLMvs4Ht
medzVfYfdMmUKOsSIANeFgKqFJSuIb8VdRFxHzFbKYl4yMLfWL1hdK5YU6elxwvc
olMLMjsDcCMVkS9uAiKKMA==
=uYIR
-----END PGP SIGNATURE-----