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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build2
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
 13fc6b6c454a5d4e1411269a0d47f605f6fd142b 2624 rocq-stdlib_9.2.0-1build2.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 7ef2d1c9e6220ed2ca5f6f3552289b54a24ed6e05e58799ac4205a2a3817cbb3 2624 rocq-stdlib_9.2.0-1build2.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 1752410cf0368ad860890a3dbe71e513 2624 rocq-stdlib_9.2.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQE+MACgkQ808JdE6f
Xdm8kg/6A3UPUKX3Sq8NAKI5XxjlpIaQGhXkx4LqzwJpnc0UiwL7CSAoNeUMg4Gy
8Q3Qc6LnbTqUck9UH9aLGWHGV6QC3oZImQOnyIbXX0jAsL0J3h0uC3c300+KrlE5
RvyIK79p35HUttoDKNGwRZGYcN9Phn8GZGgfpdRmHO+wnKS6x31nG+TQf8KIsf3j
/HIsZl7dYQ9Eek1HePW218cyBwOEuIE5Bl04qJMQDglH9jWI05dAcohPr5AnwdeY
9g563cyL6Y15prhFPV5IOb+d1pNBi0yvq4V/FuSE41PbGqOgDd+ZsxjsshUV7nHw
dLzHuBGrDTKEWhjHvRdCN1okevA2HRP45WFSBolZuXXc/zDtzztm8a6MFsyxvX53
yfs5okomF+io9cq3rIphEvNO1dppmadFTmEwWrwzWuXVHUPcSOle3Sfz6PtFhHfd
KqRZkPwQ2TTNc/ssytKVA6BfEiRsZ3hi6uqJ7hARzS+T39A68kb045H+RxBkqF4V
hQ0NHgeT6olLteotcwB6Fq+jnHGPuc8HUYAAWNXdTnjuauGIbJi+lqzjHzGW/cZn
GNL/6Z2TKnuNYhQaUwtbd70BhdpwXExvPgxUBfiJmk9jk364JCAwa1ou3hTrSS9L
5UUjY+E8bI7yGsA895fQccKHpxMNTlvoAM5npqdUML2/8VC2bU4=
=PZHK
-----END PGP SIGNATURE-----