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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-1build2
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-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
 1eb03f5aefa59b899017427ff81d4929d5602b1a 1916 coq-record-update_0.3.1-1build2.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 bc6737d4cfa0bf494a431e70c129bdf11d39c425ac2f9ee193adfa505ea4248c 1916 coq-record-update_0.3.1-1build2.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 55ac7978ebd2b7f7b2c008746e9facab 1916 coq-record-update_0.3.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBYcACgkQ808JdE6f
Xdk8Hg/+LdrI/gFVpMUIZD80vIGYJ+z47kyuao4jEAGNym0PMzWLWFCe5EF7JNc5
jIn100gQfIf9flXjCnbpHtZhJ1j+VRY12d/JHjh44EUc7abbB63gzOmVkhHwfuJq
kHdlSN+Snw4s57P8+ODNEpwFBbt2NheYxuFY0fJxTAp+YsZ3WaL7LwK+qBNBtM2/
8vd+Q59cnG70dwW1Ak7v3sXFsXf8U5FtGZsiYjRW0rX2uG1hetWuD1Ak7Gq9GM4x
fx1e6PSKeJGVumYiewIPfe7PIhFRj+0Zcntvm1jDoh3Mzaa6vyzJQo1v98iGHd8E
vjdKcIoW1TDkn7SkMymnOIVyCkcP5pzQhdVDm8TJG+6YV5H/SCAIFBf8S9ZnY4Jh
Bt4znMx8mCBIQ8xcvO+NtMJSOcugMhfZ0wn0HUJg8yQVs69VGpLUM+2EuGffOaOC
VOsr5OzeNQi2cGD1wesVr2u969OeerXleHwiobFKHwoT5tlYr0SSIupAueRbCNZh
q1R79wJzNZgCJ24gXDVglcwARhE1EwdFna2p0cgdvmzBSff/P1OaKwj2llHg4X+A
yFD3yxXU2NMRl9eKdJE4sQFccLLNw6/qnhMV5EaJq/ZySBZ1t6dpHZZhxu7JHD+j
be+LpvYKAVZgCGiWq/xyiSfSp/eytxlBolBAri6x8e3qH36us/s=
=OXa2
-----END PGP SIGNATURE-----