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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build4
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
 913b1366e225cf0a1df4f77bb494d08c62e72723 2656 rocq-stdlib_9.2.0-1build4.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 93eeaa7724c7b5e5aaf2c0c00272fb48293e023fd9d8f1ef62e81c06d5ea116b 2656 rocq-stdlib_9.2.0-1build4.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 fda1dc717143682492d2029392abb353 2656 rocq-stdlib_9.2.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqhFl8ACgkQ808JdE6f
Xdl1zhAAqAvFT5uFxrzr2HHo3XjemwSRD8JEzjwss/YmazMMrAf3NMa2FNNgbXn1
QvnGLIqX3P8IgezEkLT/jsKiRS4X0DpOxUPU0xHv220Kr3+QkyYceVJMVwSJHQKC
0mHHdu8iUo85Ky3P3hZ4rWMv2fg5EZ8+e7wcB45XvM4B8m59pnynhw3SlUrVwitQ
E8YCAqSQE/b8/ZKabcTjTdoDO/I8uQNT8scXoldyy15v27/RssAV78nxADaTs8hW
PGwEa5OGbdg+Q9uqmIWpk2YuVBxQx8ZkJs+XuxFKJuCsTGxXEFazaFGWVAqW2dCx
fGW0pw697n/RG2Q8l7nJhf/E4nPnAXvwrIP+1dp10G75/NvnGRXxegwgJierKEbV
woFZKx8JFNyyOay/8RcRMY9aqLbX5B8hTv3tjqZB+u8AWGLQzifgak4pUeU9yA5A
kaW6f0sGDeS67/VIL36KO5jWtvn1WdFj7bsxwZQIvM9TuIgMV1SuViI6ACV62/G6
zZyheAu1md0wrs/uMpV0oYPkJA5IhEEzmHl1TJ0vJ39GIylUp75BuXw2zim7/zJX
q949pwfE8OIsOsQn+NTD/r/FJWiuz3EDEMMd96DnuhI2uf74lJe8jaXISu7+Q9iQ
hPNGOQujMutT4BqbRwY0Hn2914zn0JSXsbGawH/qZyy7e/+urzM=
=al/k
-----END PGP SIGNATURE-----