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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.0.0-3
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 (>= 9), 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
 c1f5feda182470f1ccc526cb210a9adf10183005 2288 rocq-stdlib_9.0.0-3.debian.tar.xz
Checksums-Sha256:
 1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 297915b565625192690927a56c40e531bdeee367dc30baba4966d532c52b15fb 2288 rocq-stdlib_9.0.0-3.debian.tar.xz
Files:
 4816a4c49b3ebbe9331a975bd1afa009 1826759 rocq-stdlib_9.0.0.orig.tar.gz
 89835178eff32bcec35f254dea5dfe3d 2288 rocq-stdlib_9.0.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcEUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdtLEACRF0h3QMyl9Ya6JoatHG3G
Y2K8jgATNT0/DuzKhSnIs43w4Zz+MfnsFkrHYAXQT993TfxYRVkSS8TSlTzs2N/A
Pbp+tOq1y79LBkMBF+aDofWoqMrUMqzGOF2up8HTphfK79aZKK+qUc92c59jXJ1v
G9OVqM2jg7tjNhjVnFQOFGlEfktuJ/IXeF3CS/6b/5/9EjTOUSHAjyq+EoJUGAsT
A9Q4E7CC2IyMEgBrLvcy5PGGBdi23sJ7aoJFC7YE8/Gu6XE/IIe1NJdI9wqSMG2v
ow7sSfLHBPzdYLJLD24UBOO2NBSVz/7OX5Q43zSkVwcSV7b+hn5pqInsz5aELx3I
tJO5D1z/wZM4wEFtlt39umeyDBwv+W19lPHevw17Rzvj0UHQCLII1xvnzCQ5hSpZ
R6H41CoN6VLBnX5P2YmZsOUryVx6hVyGKiVcRu75ihtdfXvneplGNG2w5nwGS2oB
khP4UYTVrldCq/5KZyJwuULPE+ulHV6QmPFtjsqG52gGHYi02H+zj5vb40B+QaMQ
gQEjvpNqBN6I+59sHXx6DU1y6vrkOSQ6lbYKhKsV+/Y8FL+yqtklFIm7WsZoGdfp
qWNQGo1mdwbgZdrFh1hD2f5bK7VDYmMw+lPQQZ7834Z8pUkww5fiDiSldqtnwKVX
cEi8Bn8TrrpEmmkSVgJNTw==
=wZT/
-----END PGP SIGNATURE-----