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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build4
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
 cf36445f329773c44bd6586bd4da19793efff991 2364 coq-record-update_0.3.4-4build4.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 09ffd7749868c723363b9bb2cdc74389c3b510f5148f7251ec02cfe757bda51a 2364 coq-record-update_0.3.4-4build4.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 6092e658774dfaf40319e364ea1c0666 2364 coq-record-update_0.3.4-4build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRdIACgkQ808JdE6f
Xdk+3g//XIZR6G8dBe+7wz6oQ27mm+AC6WUGvIR/zR0DReZrwCntS7sSYm/ZobCz
FFZEcaGyi5Tzej1wAabfKMSSNU0/GEFjt3uFnIFTVQsNqP61x4wrzFZnBuqk/j20
IcwhHW5H0GPbVVxiHwldFc7IuhiTRWgmV4Vei0m2EXHAUD3gUndM95cPg6bj422H
x4x+QCYJJqAvdPjUYoI/nIFmagcrUuoUjLtkXAbbxt00f8uDwRHGKJNqBKiuzmQQ
F69/kPQjBsgcSf/CRyR8l/62NId4wejvueLdSOgiQYdEaqBd9CzN63vSwHHvQZF5
QzibaRaWv6eku/HOX1JMa4WRvcjVSz64kt3Z8rBZ8Wstf9TwJcqL61/4F9zzs5Zw
4sKex19GDyRbLLYIJdY4SXEUvgwl1BwLHZfL3Jy3CYZclSzmyLK1KkB76xbUS5bC
Gpdw3gDFD9aSWZCh4Rp2De05UI160XZkIqdwU+BS9yfL0uEu+q6CxQMGaILhRBeO
WlFTVbIoxuDy/O/1plU5SRmYf5OnVD1vhhkemV0KJAvdmhZiQOIkvN9dSQrZSYEB
Znmjq2AQ63vV9Jn8Hfi53DKmrzmZLGobxLk1js+S0+9Iz8IRawsNZ1b/Vlwnr5mr
3szk+Fo51U18De9a3+Az0IzZD5HSP0utr4FqeRnK/YzYtk7gPlY=
=smyC
-----END PGP SIGNATURE-----