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

Format: 3.0 (quilt)
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: any
Version: 9.2.0-1build1
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
 3369b2f4b11279b34dc03644783919a4f814063b 2556 rocq-stdlib_9.2.0-1build1.debian.tar.xz
Checksums-Sha256:
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 687611f0a5e1af22f1de469038bb2e7e72d52438fd9d22470f0f1a2955f2bf7e 2556 rocq-stdlib_9.2.0-1build1.debian.tar.xz
Files:
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 3b5fbcf848f874e4fe51b63556c68ebb 2556 rocq-stdlib_9.2.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEuDQJkCg9jZvBlJrHR5mjUUbRKzUFAmp6O48ACgkQR5mjUUbR
KzX/mhAAkeMfBTlWn1ZJ12zftwkFg0rsANNhmozlh+ZY2JLDplZXTdPj4pE8YFb6
D3QNUkTPK7E7+SJinbR5erv8RrStYffwCyP1AN0vFpenY56X6IAhd8MX/IQdyXVu
LSJg///MTabvqtmKdfQi/d5Zp/tHAunWK95kSlKVvEl50/j3rcI8T4sxBaqnawPY
kXflorLHYggrzwM+JKMKFrKOjmqMrAUWKYtJlUecOP5rTejFm4bfq7mALpXR1Wst
Fgzi2bylWNg/EPUeqj6UrC2VDt82rjTpU2Bh4sVxMF4z0g45ATL2W1fHRNiny4pI
DypMBVKeT2ss3+Tg42V/QMz3cfhccp0mnKnYQfD6G4rI1ZkOSrSGY3BUqrOS4x6p
skpcB/gkdRpDSjK7XI1BPzWpXmCf4ShM0eU1Q1M9R85MOcMJWp6/0aTpGrcns65c
xcIkvI2XShqRUe8w8MX57D06hqtxP6pkwf8MvWxcSmUI/mqEEINZAy2WtilyxKEj
flAGWBivIlF3WnqNgY4M3Gr5cnMLbcmj+1985E8y6uhvIlGw9ru6r61ZKCSj0XVM
5ytTCHKMw/hjW+7EKL4tMW4Zx9uxaHAAFTY8Wp7g0xED2NSxZt0ECp10mG8dhgkt
1y2n0HO67AlWkvDjmegGaCs9DaQfhC+sRHxlyGsad+/nnvIedJc=
=iJ78
-----END PGP SIGNATURE-----