-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-2build1
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.1
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:
 9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4 13484 coq-record-update_0.3.1.orig.tar.gz
 bba311d0387880afb85e3970d99451e71cf76403 1944 coq-record-update_0.3.1-2build1.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 8dd2973bfcba4855d0d32809f4c594de988139c7df6bc90cb7f3473e3b4b1445 1944 coq-record-update_0.3.1-2build1.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 027bcce204f573b0adc07ac7ae62f990 1944 coq-record-update_0.3.1-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeYYACgkQ808JdE6f
XdkmlQ//bFn5QVRb9s1O1UAr91qln5+jCSAsMbm1QtZaVGrjWNIifaMj+FTbZ0Q1
YOBZqfpQ/bwWn6GxxnYTHXrrVS1HpJfhsU4AotNsQfaLBRbuLBGdCkZc9nCIcgec
kQ8ZbEXM12UB8ddv96q82VSBLtf1SPJOWkFPfsgDp5QMz9AY7oyhGerIegyy/mi1
CCE5BoRCW0a6KuHSLXonLH8npZxAR+tMmzaLcHB4fXoZQclicp7Bo6s9r4lngMce
LgWVYqmOZwt6Mu6mNNSHGuHjZR3HUBhf/dfDPCrWWM2kfg/6Erm/pwbR6DyrQWm7
fQEsbYVRhc1/oOlKXpbiSYbc24ME6/cqCGTUPeHswATt4zu6eYMTQCCR6eRgXXM4
OEmES/4FNhFXA7XBfqJBWvtLxt6eJCJ5BmWvQOZUn8Zf/ipkpQkzZQ5f8Zhyoe7t
virrElGylO83zTKt6Hmc+9+I72m3gWpVc9KpRLhq4kGN7Oh5M/sIvfAxFwqz9ufd
RFdzzjZpLUqboW5/MjcrbiOUXpQmov29rvrJLDZnZyt8teHC7n/pfI+EhKV1ow/g
mT2p4cigC7hezGcImnCtRvohAGDFeWRzf4Q6T/VI5wsxRMxkQHBYEz0dhtZa/YDb
Kz7U+69pYU565UiDSOEs3Go3YSg+34r0DotApiM2LJX4+wU6haE=
=YkKN
-----END PGP SIGNATURE-----