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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.1.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, ocaml, ocaml-dune
Package-List:
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 417a1ec620039bf0f5be68905882b519c57f48c6 2360 rocq-stdlib_9.1.0-1.debian.tar.xz
Checksums-Sha256:
 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 3fd20efa7ec6e5efa7e69fa0a79acdcd9fd34ef36d02bb0833eb688387e7f9ef 2360 rocq-stdlib_9.1.0-1.debian.tar.xz
Files:
 a8b0043d624e8bb44d46d22e741f329c 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 21273f7cb12cb6c99bb867aa72a0deea 2360 rocq-stdlib_9.1.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQsegZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdkHD/98n5QG3th8sFXGUM1HBCoN
seJXXV8Y7g0fgC4JqubBWjY2klUMfQ7Pytl5x95PDs2Ya3KeipB5FnLfDdr992OP
AoyfQNuvQRhaa0WHRK1qO54PPDKjGpjasCqL4uwGxyycQq4KZsfuh8KAKzjdnGRr
kaZR1oJixtRn/whpP786i/Suw3fI2qVax0Fv0bf2fFVNhC7SpMo1hHun+MqaBCzU
I2L/koe0+XttH1ZdE41WENcHZ6zs4jotGEyYTdZXLru8KMB7dEV4/Ry6W3iBHG1q
u+PlZpERtTAFCCcD0HLIPHJGU33bFvfnpTGCeQUGUos4/dlcmXCCzFAcQl32B4GC
oIR2cqxMCsgduyWoDz/vKa9ljeiIK9NSBf3yGJS4Sf2a8c7sVOwdHrxX3KluV/Ks
dmBgCdZsJv7VUCRxpk7xB5dyaqsBmdw3Se2XIawcznkWIIdgOVQEr7H/aqSw7NjS
qC7ZT5GGwk600XXzVqfmE6EoIQ9gsGRwzOvgqGbDNCA2xg6lsGxEb7ECf8buRxip
CaLzGoSceGk/tzGS0uJEXbM561gl5h6jNWPJZGxVfkU1S5ErVO9QpqAyfWa4iBZL
Zgf/Yo44HCOtHJxyTexc5MVFq4HXYLnJTBUJdi4quFq/LqZDyJ3XQLjWoGkCGFpn
5nu4RfVIvGuZf7RjtYsQtg==
=j9m/
-----END PGP SIGNATURE-----