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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.1.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.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
Package-List:
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 6acb5968e111845ac2139935f676245c5da23ebc 2432 rocq-stdlib_9.1.0-2.debian.tar.xz
Checksums-Sha256:
 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 df3bb0e9afa3d1cb39f690577bdd5080859b0dbddc59027a16594a75e49f02fb 2432 rocq-stdlib_9.1.0-2.debian.tar.xz
Files:
 a8b0043d624e8bb44d46d22e741f329c 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 68dca703196537db9190c9c43f531fea 2432 rocq-stdlib_9.1.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmphCC0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZ76D/9JzOwZW6+scptwvLVnshEt
OerPtjllGeXeeqYzjJ7hOXqEOK2W2GruELMYp3X2KT0K/vgXjl4o4c0DG+P3S5Iy
owuVPBHnJ36tLM79AZ01iREQTAQ4B3kqv6n7AZuoYtOglv9wqcZ+CuJxvioH+rvW
hDdH0HstWF1v4gCaQXW3o97oKAOhNegFiiKy0R26Qdesabv60v8gPD/5zUP8eCfE
7IyjHWZzss/gTXd5zsoLjexU+xsJFIkYvE4j0egzrIbW3JfHxt6RGIP2C3PW6DPI
YKq0lxvuRF+NhWkn6gtNXAob8tPMUtqICriMSoI3j5fRCyb7uF4QxWytPxD/u5oQ
SAtzLdp2q38KB0jZtO32dmHGm+836DWUgr5PCvUZUuOINFIo032qqeYnjrxoVR0/
u15+t5Me2EJIht0v09kWzzn+zJIX4Uo9VivUB3PoHEH/FNFUxIJH5c1v5F0tIb+1
C8bSI68xftVyL3w34tdeN21DI2GUgHp7EXggUdai9eltEE7q9VVJwGeMQJ1Mj+dw
I2FFghT7AZn054CjXnlAPYvKgv+lFsw+yNUO4WzYGpuANwj2gBbXg05vtNKndY5e
7Eob97RT/4pjnlnfYdCPaGPClgs+VswoXMlc4jVs1nryiQ5MttiWPKa4xLs7+oCI
QOa+3FJR1Tgsz6pNlGkSAw==
=dw7F
-----END PGP SIGNATURE-----