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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.3-1
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:
 b626542581be1026dccd66c4ac313187da8af388 13644 coq-record-update_0.3.3.orig.tar.gz
 f637465f253d1e81060a2318b7dd5731c71269cb 1972 coq-record-update_0.3.3-1.debian.tar.xz
Checksums-Sha256:
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 9de844e2fc220dcadb38cc8c8b256a760e1a24e8899e1ac3441324a3a275a38d 1972 coq-record-update_0.3.3-1.debian.tar.xz
Files:
 67fc7dead388bfec2b737241dcd9e3d8 13644 coq-record-update_0.3.3.orig.tar.gz
 91abd01ad26e0754300c15514b246a10 1972 coq-record-update_0.3.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEU/QSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHpUP/3T9oF5tVOYZQ+Q1aOCBFoc3vBHCN8yE
uScwUea68sjwZ9n4AHUX03Ai7qRMWMhd369CY5zceToCJUDg2AgrLE2yBHHK0YCO
2JDnOyGyCG2OI2Fe7tbCkXKpZzzgEEnohwvZNnFiO+RMYIddSUb12MhNZCSf3KYL
1FO0ntf6AuoV2cErapDU25YLrlxRht37iNp5CHJA6bThRxtPq+H1HLebiqZRKxbw
ylE49ngwwdo2oeKFa2p5gi4dYyiOXUNYIw2RsDRA50k9b8WyEvsoISDS4hq7+L4y
Ma7iCbaHoc9pacg0yt4O44N4YwpwZtmVmvd7ZiX1SFrQPgI+CUqDGGJPlOGiVx5+
PXne5c/ArdjSX9CHgxBkNZFrecPgXHdcCxUG6FiYVf0aURurMK35DdQc3Evqpzpg
s1pt639j0tMrQa3sZKCPlsLWkqzP1Vk/R70hHGpx1XcE/Fj57xZqIbnh60Eq9pZj
7LloBmsrl1cmtidykyV+PJURMP1n4gAZHTBxymaLDU3PB2gbAgTfVxTaM2fr0Jq3
XuDC1iOMm2LsOQH3KcD29To1ZxeLNhmSsy+HllMBlt+x6yvU0mAXgsKFZwzkCZh/
EVLdcwplgcIrCBt++d+HD+HXNGBlyMG76nJWcRvsij30VWMPOR41q3RaFCkd1+OA
Y/7NwUWyKHw2
=Q7wt
-----END PGP SIGNATURE-----