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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-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.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
 8dc9ab2cfd59d4c965b8ca32c1d55f496358a673 2132 coq-record-update_0.3.4-2build1.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 3c5a774f083f825dc45b8f4db2203e2286ebc5887a3a94df44c579e097493f79 2132 coq-record-update_0.3.4-2build1.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 2262fc6f170264de1f1b9af4b1fcaf38 2132 coq-record-update_0.3.4-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWfcACgkQ808JdE6f
Xdmo/w/9GIynWHkGmBTrA15aHdMu/ao1huhbh63v+pUq5gz+BZ88qGtWfgy0AjN2
Az17kqaJg285LTS6WzjJ5dxezEJiArH9lBtdLc+1QatWbQkuILp0LegTOqX16FNz
EGGT9EIlk0M9lONmf8bJu4fI95YL1BjgD3EoLWppMAhXVv1xZjieJKWy4MYMZ5Ug
zZnun+lpQ962lmvrHU2fbY4pZ5lV8y0KaGqNXmOvFGV1DKKJFriE6HWerhA2lz8t
byLUUlJSMOnwimIBMLATS+5dwRvi2Rr4G2OvbhhRUjZx+Whz5UA8ecxf7OVgvS7q
gDV67iryjQBsHmvG5Ic2I7eEEKlKo/YiwcUqdgRUWfUL7je9M6gVR8Mfjy8SgymX
KxkqBr2IB7QvKSZw/53ciE3WUJRXjUw4TdV3jI67iBGk3JkklySqYBMQU7RI8Dns
jscKLaqSRwQvBP42SBI8NzyNhYGKCbdaZzSmTZI8Pl1f1IR7y18G/QaOKvMihLnC
w7xfloYiIBRP1NRfzTWlFdgXQQph2L0Hnl8dlWpUcCyPAP0rwJVa4OM2lof5XeI3
AEKpHELfgv6vc+sQcZeH6ZnEdRlUF7agN2WdPttD+94ykFwSndYVwSI0vUrv0mUL
0JKvdIXAQGiehrYOUI/jkH6XqGYRHNUG0mqKOeW1pKE469q1c7Q=
=501T
-----END PGP SIGNATURE-----