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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-2
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
 b09bbdab5f30c09d4606676daf0bee56f077bb4b 1872 coq-record-update_0.3.1-2.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 c7ff9e2b9fde0e6c896874d1495a1f2c3fbb5cc91ed4eaf5c9049b6a916ac471 1872 coq-record-update_0.3.1-2.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 a131d4fade278b70173832c924077fc8 1872 coq-record-update_0.3.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ2uESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLwMP/jMkfPJ9DP/7PQNbYGt12AbYaX3cxecv
WXt59fO4zO3tWzXHtZvBVSXywZZaf2AEtd/Wt9cDd4D/NwojkCserLxNINwmuJTE
D7stttFIwJHezInJ6lqIR8KJ1ahPJPtO27M16H5pLJMVWIcS0UIVWGfzy93g48cI
kA1zRlYK2oH/sMRtDCSh6XNHQ7EbUWrI8O2mHF+oeufrKHZjxFFnkStKAtaEqjI+
kajfJ+s1V6r0reBPq4opyMES5BjIU343D1shLYrz96yjMKyoaxv+CeGdz59XH8Cm
m/wWTsYuDe3RdGZW5k21c6jLW4uhlHa0+EBzyzSpWS7p0Hnce2pRoxz5wZoeM9j5
BDUInxzXZyO/snb5FDJ3c5UaVq3DPXL0O9Q9lDQy97BevXwElRwh+D8IEhTTkrry
Z9+7zUy2xUcP3TAs+gU6p3t6AHEmBoJTVnG8uFoqogrLJVNzZ0p8NIuPe3AxjfqS
c0UCrkLR1BTzZVIER+nu0IZR5z+xpxLlocbEM4dGPtkIDTt/IzQtATtHn2HvyQO1
28Jn6zYzPuRR8Q1lLALqCjRuJKccx2oNO2canOBbrUmjqKAAnWhWHFqSVCvnoHY8
xzyyphruotodqgyj/xGqUZY0VZAwaz0Xg8uvqVCBFKDipLJRZzpl/W+nT0ahbwU+
G4JmiKOFWPZ3
=rM/d
-----END PGP SIGNATURE-----