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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.0.0-2
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
 37cca59ea8896d728b4e67eea84ccd36505aa9b5 2252 rocq-stdlib_9.0.0-2.debian.tar.xz
Checksums-Sha256:
 1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 e24b12bbd4f8c73db0c9fb1ef562b189cccbe4121239c6a435865271b7bb1222 2252 rocq-stdlib_9.0.0-2.debian.tar.xz
Files:
 4816a4c49b3ebbe9331a975bd1afa009 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 1633e6bc13408439441f9c7116824b69 2252 rocq-stdlib_9.0.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBuqgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXXBD/9l55KjZRNy8i/eZdXlHOqA
CHiBqChdEI+hrMQ5DDChlJSHuwBNlR40uhQhCMUg2r5QDajgAzrOIE0h1nt8TTFp
exDGFfNSFvrsnOORVi0svPXbI/HZfG0iXt4N3yAVgsWRBOptQoGy/ikRKlrO+Jpo
mAz4ISUoxJLKc7aH2NOyQRNi1bn18y/P0bD7IBmYZIShlyM4aurAp8ls8wNHFLmD
Fiu4/tgATjlkdgC9EfHMYghc9F/5/uclO2YDCX1XfBvAFtK+BJ2u2HWbSIN62ka3
ABXDQG3tADX1Ii1A67OSrfRmG7ovDNjVMpXwi836wGWUc12cw2QXzOwpLXTxxl13
9ji1GpsuZx5y34qFi05fT1Fpb0qHcvLVbJYSr5seCbxT+hSe0wNMLrgWA7L3dxpY
XFzl4nTm1fKV07y1QObJUGE50nHsIZIC2YIgkRUYXKLUIveoZJ7oVhbt9YLYrwin
zRAuufvKFWyUHYqSOTKGbql6B4WDJykk+Folikuyc8qVbO1FI9cdPkXxdc6pFJyC
InbYzM1Uoog0WvrMhE/U0Syp2mlIAZDxO7PoG5q3FE/FRiqYpFrqJq9Eqp1chc/4
+X3wZwH1N/t9fevTOC12lmK3jixSowT8Wk+nM6JCzhfvmq0VBflR1LqvklOP9EqU
t/VKYmjXT5h6gVWgT28hwQ==
=6Gig
-----END PGP SIGNATURE-----