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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.1.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.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:
 a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 f43c9e26dee3163415047dbf0154b85fbdc8de84 2680 rocq-stdlib_9.1.0-3.debian.tar.xz
Checksums-Sha256:
 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 c2833a516a91f3388b5d84a9a96de5681266584d0ccd6db27a7efb4e4664b50f 2680 rocq-stdlib_9.1.0-3.debian.tar.xz
Files:
 a8b0043d624e8bb44d46d22e741f329c 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 82540a733156d4d625e7e3b475e7910c 2680 rocq-stdlib_9.1.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnfv0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXJjD/4gSVsVATh3xB64RekHRGeo
SHRrs7/ynnqs6JTv7Q2wmKWM+zrGh4f6niQgaBK09iEwR9fzsxK8I86rwQ/73O9p
H2KGh+5Kw9IHz6d28qd9OP11dSjqV2TQTcUeiE+rQDicQ3LQ19+hxgE2DBgfD8JZ
jUTFuYdvctz+sC/t2CtMl2eS9jKaQE5v6bvWnPiLJ61BKDGrUcr52qL9T2/r+8Xe
8ChogFLe6skCbJKabpw/kUxADTXbgZW0DrRhCM2sBYQ7FaAeJRRLFSvuTqWHrBLK
A7kfMF+tAKNMxskfPgKYtIfgRIVUpcoXNf7Oe6DxbKNJFx/SWIivFMaONjekPyxX
a6lvyAxWg2+nDPdeP/KeT12Wqp0jLItMY2BlCUWnuzpt2hEbOUeoBetlfxGK/5xV
F0K7ki16awP0s+9fJ/yjWLi3ko27rDtMxhiefDJlw/Zq99MvrXpcybXBJAbczmCD
Dam1YCh2jqj+mWlMY9pqFhGORbdYVrJB7x/VFZSGu6xHNGmz9oMHUtDjTmwrOmM9
fpXZtYmECyDeK26WVlHBtSx+voiT1mluSysxRANisB4WosxfrIh9eLC/ZSxZkbuz
NMZ/CATBaruMwSzetcwiJg58ggilpY+NldPcCKOoYlJfOQIz5IzXnWBDFv/dEyfl
v9vpx/yN2utBBWlFcT0fcA==
=osok
-----END PGP SIGNATURE-----