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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build3
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.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-stdlib
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-stdlib.git
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core, ocaml, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 33d23aebc33764430d2bcd24a76b154af98b7c72 2644 rocq-stdlib_9.2.0-1build3.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 22240d73e7ab3d76b2953fcda35f7a2b1b13fc4b4dbc8e5b17fdffb13cf6d8da 2644 rocq-stdlib_9.2.0-1build3.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 26e6d86cd39241176c52cfc75c9cc45a 2644 rocq-stdlib_9.2.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqRM80ACgkQ808JdE6f
XdnD8hAAv+0EjRSSEqomjY1/JAZ/j0NxDr6yFdiZGt0dgId7nHXkxTdKPwW55wXP
FnkASspAzp0kj5pgc8ivnt5KWGzmU3rYp83ylK5vOu4RJTYbybFprHgbFMrA72RD
DqRokyL5vA9O3bOVHJyeT/h/RB8mt9u6oBA2BgeDpEWAyQuq7thFffaJnv41sJz6
QmLmT2hzrq4G+/o5IaPmcCd4n6k5uP1d/BvBijwDj+Vvb4QWOyy4tBg24EFmqLrn
wlFylG8WuEfRsEjH98798BQnXdZry4JXsRWV7V4LOX9xEz9RPqxc3eBLHA8jurOg
UUxpAo2KNI7jwUierzybBis85XW5fCyQdXzeCcwac7wRo+Iaer7euQ6QQv1orcnR
gyP2q3cIcGHgft2fIh3F0yBeobi9VYR1c2BWwjM5zp3ppSlGQj4hP7/Ep7jnBQgw
RwgwXXARcE+jftxSVom7RPxLktlnQR5tJ9I7/w8lwRrWhtgSzQvGUahlKNbiKDvV
eQPvpWgjJPMMDMbm6OXZ3/JZI5VlQy7W08A6lsZs3ptPJv+8LisYhkHBQBjpvOrN
jo1iKQp1Jg6JXUxoeuYxh+eSrjRllUqE7oTQEg0ztQ6kGV1f5H0Nk0xsFzoNsyPA
7qJHM5+ZAu8P3KJx7DUDBWrVIkLHKYb1TSr4J+3hkVyNNYlrFko=
=KzCP
-----END PGP SIGNATURE-----