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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build5
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
 1300a9dfa5c8757816a1a91a1ddd04503b91a49d 2664 rocq-stdlib_9.2.0-1build5.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 74a4e50931d7e4afb421a6bdc17d12584ae098cf54b839b25ee688841ac5f1ab 2664 rocq-stdlib_9.2.0-1build5.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 3029801dba376a77d5c210dc65b38994 2664 rocq-stdlib_9.2.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqhyw8ACgkQ808JdE6f
XdmMjg/+OzR+YMyUYM6GT+PGWQLffW9KHCKLr/rbqPdxXo0H14wUgDxGcfZfFpGV
KELQYF2AJxhAeElLKOD2uBArVykBkFnXgN08IJkpNQCuHPlC4/h5Ihilk3ygpHnx
yqezrY0ucya8GfERHgnVjjO5to27MNa5Wk2u3LU0y+LRsqwaiqD3h1RyVADiUg22
Jj4L3/jfe9N9mq3cPdyGY9CYLfyeR3GbNtstFyA0yjxK/JFWEXhXXzz6DghcwxlR
741Cn6jJTDWcLO5xDgpKQr9UIMLsIls0CjdSeWems1bhNn6+j9hUi48LpHyHc6cl
h2+3iXU6cQauCzt7L7YarfTp2CDmP+4WpOdjBNQUEFa1oaPV76MecVX8C5JBbstu
r5DhSa3cLAOPlE7LMjPBEoVv42045huWYwUJ4NdiZRWPY6oATCIyos22Ebwe2qEK
A0RGH7vuDm1e6olndWZJ6ydA9ksvg23Kc9TmLoyHSPSgzN/FnIHn3d5Mu6Xl+Og3
BZGv4Rwg5LTJf1l6XzG+wFXSl6nkl1ypTteiLpoCr68G3lpSR9C216tgHkW6pJ4/
FZDWMBzY0N8xwsfFAUgovAMn57nHwFIKQ1x8nNlZT1m08p+QF5zbVJR3hrLEdpLW
+79uOa2bAcMNNOVPjl/P56d97oW42oRD9ROjYayAPsuOEQEYe2k=
=h/nQ
-----END PGP SIGNATURE-----