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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-2build2
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
 1956a197f21af15ee08aec61c6d9585cbf7980ba 1964 coq-record-update_0.3.1-2build2.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 9d80f311597eefe7b18e2a480b0ec3578c17d2214dead37710c15277582e51fe 1964 coq-record-update_0.3.1-2build2.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 40f0be28fe1b7a403d9e0da47f235feb 1964 coq-record-update_0.3.1-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudewACgkQ808JdE6f
XdnachAAzYPSkHPTyCS/x4JlCpQqxQyCAu11/Izz44ckqrLKc4WP07yLunmc5HKG
u5rOnuZQMRiuh2u9CCxHbnFVaDq+7wdlkJAgKBMtOnLHvr/kZVkeDC27gsDa/ky8
oEpp5rY+bkR+bIMEyfR9Sgj5tkyeTBVD5bvQkdPvWfElPBxiKtSAdvaQwz5hNbdo
yHerobre8JL8td2aq9itJz2HKiOVkq/4njcHT9YUht2phL8eFejjfmsL/4yzs4YQ
mxWUBzuSPpPhU4bxTFCEuJBfl5qRB/O/rPSX5fjQ++vbQFiTr+v6zcvwWgc1jGfr
EgcyOZYf7Eq02ox+3rvxlLaFyeexyp6xQSK3PH4evBCmrQxtFjnwmhee3aB//kzK
0p3x61YfeAgQyryQV2ggkMYH4s9ujgAXiWQJAXmQVLfgbQtglSFHJdaeVSuHyb6X
5szJ59+sYO2BiyaylNKKU11jQYDrhSdjee6aKXQlA6IlVmyWmskyLu0LMOHZNEEz
6PSvxlrIjVzefeulaxUvj4VJzd0PETh/IoGZl599XVxXFjkc4pq3ApPRtbbnY9TC
wd9S3mI4biZdckMeuGKIeiJS3hgLCgQjcceVmLFOZrtN1tzoixfhKpAcLD9GmalZ
XYqCCvZwH4CAv0oAraMfU1MZ5R05JlUryNe946yZjUnYWfqgwmY=
=Ug00
-----END PGP SIGNATURE-----