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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build6
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
 68bc1f916b0c87a606ee531e77854b7cc1d8d669 2708 rocq-stdlib_9.2.0-1build6.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 842c6ce266fdec7c4897262bc773ac0d3898bfc0d6ccd04bc7a53ead490bb623 2708 rocq-stdlib_9.2.0-1build6.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 86dc85b73f5de54e29c370a2f78d3cf5 2708 rocq-stdlib_9.2.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqs0ZIACgkQLIPbyOm9
DjdfcQ//faZnPCmsSYXrs90DY0xuzcNOtJF96b1hVF6QwWHhNGfeUPGZDmUYj3Jt
4D/gX1y3mPfTgIIm3byEp87VBEyZ1PO89B6hSh7YCFKOKj0HNo1WvAX/marrNHGB
zySbLDJAb3taQeDazUeHEpRq2OcG8YMzK6OqwZw5NK66+zTTA/C/NCMtYEAr+ejl
p1M/ydAiTrPSPxXictlw4MPwHo1g6Edi/dMsz3szZDdKvYuNCxvF0YSPiKbWirYa
U1eUo+z7Us05joHbyI8ABGDx+CD4ExqnV6pbKORqGT4lqLoLBUhA2qvTUU6i0ULw
d23+kBVPTph3v2JESVeOYvn+atZqb1KEJpljUwiRnGj26J813i5gK5J9XxXkHDOq
ljQFs60vx+YC/uVfYmUi3+XiAOuLEU3w2ZrpDsRNfBHG8q9Mk0pGC8+HQyDrtnmA
vofqqANVBDrYOdHxbCX6DO1fWeq2Oc0z0ZRGb7IVHcF9og+sZDUPeLzou1L3EuvV
hzYB9LcBiUtHdIlPOv93Yen+CZL4qfufXS3x2WiU4xhUJn9xhmZ9v0rHZ1aFQwYa
9NQzHuqUYLadecPbfQ6P/m6yWM858ONXfCoVWsVqqo0FuyjxpMRxzC5beP5/m6Hi
N05gdoxx002yZ5igsec2xOS+3nHlsypJZcaXM6GQaRk0jU9OF94=
=NSsu
-----END PGP SIGNATURE-----