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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-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.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
 96cb3a156766dbf338fbff6403bed5b6d452307a 2200 coq-record-update_0.3.4-3build1.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 013fff72833140f44ed63d96fa671044f5756a06d5a65b01787b357d5f8ad6bc 2200 coq-record-update_0.3.4-3build1.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 2a89bd335207c0948e014ce930862a67 2200 coq-record-update_0.3.4-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9onYACgkQ808JdE6f
XdlXUBAA2/0HHeo4Opy++9HMZxoLShK9LdXqyBUfErxd6ZBlh26e483IIYwgHNPH
Tz+EPdCYNJSl9yPZmAzmj9LsA6tfBU0PKBUMIb+oXITHqgeHqOABuOX+5LJpv92Q
fkUoDDPqhRFwwTwxbC1I4cpIa5J8T4kn89znLoLO0mNi61OjT2KuBot/jL4zBlQO
DL284lNoAGQpYdGlnGfciYTgzuX1u6ApLIfzdr7z3y/k1r4+NX2YqJbhywB+3tcQ
GpkLcU9eC3Jdcz1HHqe7tNxYZpNn4r8Gzt+/1y98yh+XbIkNYK0OBPILXWxH0mrX
9Ot1ppS/7ivY2S8sKb1zRHMhFtkt0CGes+S71iZNTpH82ZKu2852B1ohZXjOzrBX
M7JO25Cnr6NsMA/PYhgqMMGkPOfxJtOH8Co1ZG+W427mVj3aUEYrpRBCWjoyKRAz
oqhHJ+i1KO15zHanLJaG5b5WP8wzgPskMBgt5OINrt7eBrUZ36dEN3VxDDGN/rQ+
XJSS64ulW/DWWBB4XxZst4vcCki2u9g2Fmb3LcS0AgUwR9QFuVPCAxhyGEp/j2Ux
D5XwPVIdyVHPTL5lNzjl/Zx0jIKTvlEBJ1xdJOXWHbBY62fGoeK5yX+Lbqp/Er38
afV1YxL5yBy15DC8Mjl4QIuP/6TyrD/dDZch0Y0zmUwuKxEWgD0=
=BbYQ
-----END PGP SIGNATURE-----