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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1
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
 f33091a55cf08953afb479280665f4e903e604e1 2488 rocq-stdlib_9.2.0-1.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 889320bc36c538ec0a8c118175ee095d4851df9e1835a065f4e12631644c31eb 2488 rocq-stdlib_9.2.0-1.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 d1403cd866db343556d09bbe4067b4f4 2488 rocq-stdlib_9.2.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnpu0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfgzD/9eG1r2JSQEU8EmpYPhTliP
dWXK3G8+/Lc7Yqix0UkQQlszVFLLqy6M5IXoqlYONqr9VaYuZ8STrf1X5Vt/pHs1
OgshcaqJBE8WZYVoM9WD4KZZcowLhftCJ4BJGIOwDlcAL/Ye11KddCLYTr/oDXp8
jpZiCLfH7PqF4qGTlCet0+33+M0z4+FoxSgvNY6MgiDziS4X/ZVJ62ywY2y8dZKD
t2em5k2vmnV2KQ9EOaX2qxARVQsLL9flYOejJYVi4P53PG5x6DDGRdELUe2sXPWw
Ym7zDHnFUauimetQiZQAyk2Grlts5r4DLEMrVDNj6zbeBregvFO/IKWVIk63TqiK
JDjwxaq+tWnBCpYm2XpwGOI9Jtp2gsQm6SakK2O8BJ9/aoBLmUcg4iN32w5/kgBX
oXlL4cd1iAPTknOtCoDs1PE29CUMC9J/kKxbg0AE6A+/YEB5/b2WYHfgF699wsED
S0WKpVhZK5rB+Cv2Sbx4oeIp22/dNF/k8/UBkXmy6U1mLSvq1cQiiuUplwuFamFX
L/GWoE6nhg+mvHOy7Nu1UUIUNJsm7+juklqa37y06KcOBOUW1kBmJJVgdjeQoKhB
MnZhgMrVRW1PI1rG84od8v2sq7E1APQI801G43OXZptoGKzqQ9zroENaVzzpE7Jt
6iG//gA9eMCa4gJuG4PZYw==
=hyyD
-----END PGP SIGNATURE-----