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

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.4-4build5
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
 9b7374b0f19b2ee7f54e9b048fcb23aee5310a56 2392 coq-record-update_0.3.4-4build5.debian.tar.xz
Checksums-Sha256:
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 eddf0d2b1f49cca8ff5f150ed3143f3b43193893e8c8832724b5df01bd4966b9 2392 coq-record-update_0.3.4-4build5.debian.tar.xz
Files:
 b291523542767033ee091556447c67d0 13646 coq-record-update_0.3.4.orig.tar.gz
 ccad51d05c2647646ad846b79730d2a3 2392 coq-record-update_0.3.4-4build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9RYACgkQ808JdE6f
XdnAzBAAnTr3dzx6hiNZ2g0Y1y9QIOPsb8QxqBN8STpqS8L3psWnSP6XFm5J1XM8
jlkIdaiYOUWjTs+RcNMQUggX+2uFYWdXsYlGeeb2YiFXK5WaTcr2aFpjn7kHArGY
R9SXXu40x5JFq+V+H4vyO4jyQanVIUQKkSrlh8hU7pGQjwY8qhzscgxchFkGjwjP
n0vsQSMolAId0SIPabd1V5wKzZMYh8uHM4ZcmcJmCuGuZE1ql9SO8ljfcEl0JkTo
7HpC7Ds2jUpMTESiUlyRIESFmNvkjGtMDgvWKZ0OHMSjz9mtF+Pcp+3sE/MxWA1Z
S8XHvR07BIOuRvol/kP3AnUSL+CJlQMINZefVGFPi5+aiJzg+JGBD1AIYBydxFMe
mAI9XpVR4KgoF5TDvNvV2LPFGs50YyyVucPDeH1tTKV4ygRdnSTUxNcRFjkSoIYF
bsY5gHgRG/hVWYaXVxJAJjWqQyUEi33b/0p21d7jIUsPKxFp/G6iPwSbR6J22E0r
EScEAaNqEQoprpH9xHb2sQJG86hk2D0F3yYj99+tkyIPf49sDuMl4YzNXJnD/cV1
1GAYblTalR8dcmKDNXZS0gH2VJwSI1DSoJLHX4LPsIJML9HDrJ7lrSFgyGMPWaqj
LruWuR9rzXJ+gcanE9lujiGpzxNgK950CHEVh08h+9RrbTVrX/w=
=8WNB
-----END PGP SIGNATURE-----