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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-3build3
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.7.4
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 (>= 9), 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:
 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz
 68ffb9254ad09566e7367d3508d74209c561dc91 2428 coq-record-update_0.3.7-3build3.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 b2ee01a29226365a552656d3e73bb1b6e4490b07df74791f88e54a7fa3233942 2428 coq-record-update_0.3.7-3build3.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 47e8e1a9d9930e7b0ee10521234204fd 2428 coq-record-update_0.3.7-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVTAACgkQ808JdE6f
XdkUzA/+KJHjbxhLFKSur/MsojRK79P2H87RMvRykZiPrtl1DNSOnvsrZZ/Y76uY
43g45C1KJMhtW6AOhyglJzGiD0q6NsDpJ6g205Nf8bEXubIW7cQxQHazoZGsJRL4
2zIK08x5GaIDdzDI+4vi+7u62tDI2khmBHHk5UzpPVawnP+gkA71bJIJEu8k/Urp
nvSSevqEpOCuuCvngpC0uybUXX9s9PhKW1c1K5SUHU6rAnKwZGAqkOw+KcYnMt1Y
kZU3Z0nqFdYdvrUeLTcJjHUwwtRj+zWztUyxQk+eIcZWfh7YGVmBpXPSsge1MYt7
VviA2uvp/RZOhNASLA6BlTnJhwl5W5u4aDD/vymK02F+uuLhkc0jsZbD/UdK0KUV
PA1HvCQwP0Vs7dbfP3z2Q7wDkwOS97ksj9krJfSbrMrU7Yrqx12agtDUkkwq2A2+
i0/tTDBljt+RiVbud4KGpZoQ6ZAOnSuljhi7iJqvQF7eKFcLlCAm0aPDGV7toEL2
dEhCLyzaDRgsvyV1hftW1hZq8DTx8ydOpXAIqk9Wdww4Y8kzIgHKM2YOGyqCnkyc
H1QkHHA8Ya0Fs9Si2FPzM3DHW56wjmcOt+QGdSWE+ADJ0ycMTUZrqsFcNBv/4lvs
GY7p0Ra99Z7/hRfePLM5hVCwonZF+462DBV9WW9f42DdbiDMxVw=
=vqJh
-----END PGP SIGNATURE-----