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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build6
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
 497abb58ee639379372cf3a77d52a8e4375d5a4c 2408 coq-record-update_0.3.4-4build6.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 5892f2cb70f3f19807a20708e796d136b3b7d8b3529d2e50039c61b70893ff79 2408 coq-record-update_0.3.4-4build6.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 dc78d1a15ffed2cf337d2e8f5818b8b7 2408 coq-record-update_0.3.4-4build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s7sACgkQ808JdE6f
XdnpmBAAzeCSlfATFEs+X1Na3TPYZZjc4uyN74XoWzIRz/DhEjJXN6CtOEgLRP/f
NJEE7QrtsFqIG3dnTw2sBvDoy6r4n6RFPGbbDKfXrkw/CAtPi6ZVougBRTIRyMVK
xxX8y88q3TOADJ9qL1k3RkSeHd9zphugqeOxoeWfGL9dt0KS5sUbDEuCXx8Lriis
5f6ENv3IEi8jsdvqEYm9O/AVfTa+EQ9IVx81beY/PqcSUUH5DYUiEOYmCSAkSbaH
K04wj+NHCfs8mUqq9OnTG94Q9+zgy2AMhKaAkL7JmwiaeqG5FSW4r/ATzYxBURCT
QPlX+NmVU5UdjQ6RcRBvvgT0VYy+TrrNUWOZguh3vOF8K0hflNP7lwv7kslxEapv
e+tu6+vmIMKu3sKfs6ZQW+bO3jSiHjroxxo5P+/XCesbvet1lqmnCdYS9I2IVAW4
k+OXQR32/Isdqpu6el9zcPOneMHVgn+sgivABrph8YBtVs2/AqCkSjEx2vZwIIl1
c5GH8ncbPzYbS55EVSItYGFxDp1AbpGSr/AWOHMj0kh9HknRPM9Tjuilu19p1gB7
A9QfWVSOEatS7vpClxUxkSsOPen2yM9+C7O9dzfuxz+r9fPAxr2fTgsy4l427sNJ
xTBRI4n6VOr/Ae/+zFPlWGe+EC1fCRzQ8TQxDAAx0Q68En7RtYQ=
=t+qC
-----END PGP SIGNATURE-----