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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.0.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://rocq-prover.org
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-stdlib
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-stdlib.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml, ocaml-dune
Package-List:
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 8bd16b7e3f8abcf67a933a31ffb670c8f6e72b63 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 72d50ec945a3c401baac8e46cff1c51e1c99748c 2216 rocq-stdlib_9.0.0-1.debian.tar.xz
Checksums-Sha256:
 1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 1cf50beafcb3d5a4f5df3240c1bcef0fda726e5389e8e2fb814c1519d0516954 2216 rocq-stdlib_9.0.0-1.debian.tar.xz
Files:
 4816a4c49b3ebbe9331a975bd1afa009 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 4e56102a4890363107ce3c343a6877e7 2216 rocq-stdlib_9.0.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjK2ckZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQDuD/9Sl8hxIYPkesqJozQSl9Sr
zncyilKEKh4PclwGm+Rd3RV7BRfbrX8n/gALavIFfEwsLYzVWqm5hcdFzqmnsXHN
3HKEq/PJFuU2pwDfvzv1XmHdIBuFL5wrYZgy7SR0YyMjvVALqJevZvUoE57ekhuP
LPTaeVBdFA1kGA6pxhNNZzwVKyPdfVENGPLalyNNhnocFSUyjATcuh7U4Zc1Q38o
NtcgEQkkcBJRU6T4zBZu8QwtFn5jjEUoTDkmOP4khnzp+rCT891Oy0iYQQjtc5aD
VmrF6oVk8n6Q+kO3mBONOnuqqCvGSmQL4byrGXWKNhsJwVzGnkzS9Krmkt+A0YO3
lv8OKV4bZ42f8Cjm9SQtd1fCJl/ZIGNdIgRvLvxTjsIRKpcsO4cB45vr1atfYqpC
wCoNB0y9ClGPjNMFtU8IdpHiHbR7ov5kOREuA0Oo8+vcytuX8jbNAjUHZES8XChO
RBU5SZ8oTeSr7wyWlv7jRFU32Az6ZSdesjnhB7ZYQ7u04m0l9BzdPqfDnYbTip6i
NG8qBEBOXSDBKs2hhO0nlrjTCvS880876kmJO3Q1V0EQ3VJ6d+Q5qAqnMN6+4cGB
nDRgO8Miez4sr6dYxYbdrwTmCLdgeTfasmxbMBpSudtrp2kRfgBYXvzdyC4g5im3
tnr6/F22qpOPQeVHNhxNKQ==
=LN0C
-----END PGP SIGNATURE-----