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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.6-2
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.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 (>= 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:
 612f71a3e75c6bfaf0c8d7ca10bd00979bab14ae 18888 coq-record-update_0.3.6.orig.tar.gz
 fa2b44eed0fd47962dbd911045787694fd72013c 2304 coq-record-update_0.3.6-2.debian.tar.xz
Checksums-Sha256:
 1273cf5b9c6795dbc168d8f853bbfd01ba09df07d3a19297601e09b4c247c46d 18888 coq-record-update_0.3.6.orig.tar.gz
 601186e8b37c3e55c11fd3f27fa3186b220e44c648a4da42d58739a96736b1bd 2304 coq-record-update_0.3.6-2.debian.tar.xz
Files:
 b09c7b7cd05cdba07958bfbc452fd961 18888 coq-record-update_0.3.6.orig.tar.gz
 e592e3e4f07f36fe7e2145dc7e6203a0 2304 coq-record-update_0.3.6-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc6MZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVw7D/9GgPlWbjxBkVwM1msiPSpg
N90eKWsABg1PG/67Px1m0I2TIAOHVTRfC+7JqLI9WOLnzQz/UKHIU81Q3VWlcVN3
wZLxpy0RvElLkigXhof3DA7FF7i9aMsEjBIGcig5XOc7khwss/8ib0js2v5l9zNF
k1Vz4QWhq9+gMjg+tGLjir0wSFc65JzxTzVyyWVCo77nXeL02e77Q1xXvt29Hg8f
EOH0KToNgM8sarG6/gkvEuKOGSo2H8aaBc1UDyF5ho2cL50d+K9jwIs3RA2cO5zp
mIy4uP/q8raBWf7KRAhQfXjI4+g3c8f2VS09V+Ko+/RX1uhEnAWgTDUbIp1OpeDj
V8yHs+JXyHrpbYRpaYgQBzwn+9O3iPCx+nl5tmHX1+1fHi01XP0PQXtZxNSPMXY0
EULd+YWlKIcfkG3q9OyJ2eQmYE0hl8N3lc2hziZ3TEGMTaJLLsZOE7t1hHJGVWF6
nBgtUE1DuKNd4YxyAyljwy2DBwsCjx8CaW31dwFpRwcLoc5t3La7ew3FObsNE2Aa
5aQEdrJyu9dyGE19OcZHmpRTmySJvqA4RHAwQM7896G5wsJYlZVHZPteAlOSgPBC
STbHK800KKF1Pi1OpBy49hm0YN7H+QED9prvGUhsARARwl7h38kNCXNgRsgtEheH
X2Mi6ocAvB8yWdBhMLHggA==
=k+cS
-----END PGP SIGNATURE-----